![](/img/cover-not-exists.png)
[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - Assertion guided symbolic execution of multithreaded programs
Guo, Shengjian, Kusano, Markus, Wang, Chao, Yang, Zijiang, Gupta, AartiYear:
2015
DOI:
10.1145/2786805.2786841
File:
PDF, 503 KB
2015