47 citations · 98 across the 10 of their papers we have counts for
1 paper · 1 filter
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…