ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.

Sepideh Khoshnood, Markus Kusano, Chao Wang

Browse the full ISSTA paper archive.