47 citations · 134 across the 31 of their papers we have counts for
1 paper · 2 filters
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis ex…