![](/img/cover-not-exists.png)
An efficient method of logical expression constraint solving in path-oriented unit test
Wang, Yalan, Liu, Songyi, Wang, Yawen, Gong, YunzhanVolume:
715
Journal:
IOP Conference Series: Materials Science and Engineering
DOI:
10.1088/1757-899x/715/1/012112
Date:
January, 2020
File:
PDF, 1.64 MB
2020