ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

@inproceedings{Khoshnood2015ConcBugAssistCS,
  title={ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs},
  author={Sepideh Khoshnood and Markus Kusano and Chao Wang},
  booktitle={ISSTA},
  year={2015}
}
Programmers often have to spend a significant amount of time in- specting the software code and execution traces to identify the cause of a bug. For a multithreaded program, debugging is even more challenging due to the subtle interactions between threads and the often astronomical number of interleavings. In this work, we pro- pose a logical constraint based symbolic analysis method to aid in the diagnosis of concurrency bugs and to recommend repairs. Both diagnosis and repair are formulated… CONTINUE READING
Highly Cited
This paper has 34 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 25 extracted citations

Similar Papers

Loading similar papers…