Shengjian Guo, Markus Kusano, Chao Wang. Conc-iSE: incremental symbolic execution of concurrent software. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 531-542, ACM, 2016. [doi]
Abstract is missing.