Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Erickson H. da S. Alves, Lucas C. Cordeiro, Eddie B. de Lima Filho

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However…