Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta. Assertion guided symbolic execution of multithreaded programs. In Elisabetta Di Nitto, Mark Harman, Patrick Heymans, editors, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, Bergamo, Italy, August 30 - September 4, 2015. pages 854-865, ACM, 2015. [doi]
Abstract is missing.