![](/img/cover-not-exists.png)
Path exploration based on symbolic output
Qi, Dawei, Nguyen, Hoang D. T., Roychoudhury, AbhikVolume:
22
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/2522920.2522925
Date:
October, 2013
File:
PDF, 2.02 MB
english, 2013