Abstraction and Mining of Traces to Explain Concurrency Bugs.

Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher

Browse the full RV paper archive.