Sepideh Khoshnood, Markus Kusano, Chao Wang. ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 165-176, ACM, 2015. [doi]
Abstract is missing.