Abstraction and Mining of Traces to Explain Concurrency Bugs (bibtex)
by Mitra Tabaei Befrouei, Chao Wang, Georg Weissenbacher
Reference:
Abstraction and Mining of Traces to Explain Concurrency BugsMitra Tabaei Befrouei, Chao Wang, Georg WeissenbacherRuntime Verification Symposium, 2014, Springer Berlin Heidelberg.
Bibtex Entry:
@inproceedings{TWW14:RV,
 year={2014},
 booktitle={Runtime Verification Symposium},
 series={Lecture Notes in Computer Science},
 title={Abstraction and Mining of Traces to Explain Concurrency Bugs},
 publisher={Springer Berlin Heidelberg},
 author={Tabaei Befrouei, Mitra and Wang, Chao and Weissenbacher, Georg},
 editors={Bonakdarpour, Borzoo and Smolka, Scott A.}
}
Powered by bibtexbrowser