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 WeissenbacherFormal Methods in Systems Design (FMSD), volume 49, pages 1-32, October 2016, Springer.
Bibtex Entry:
@article{16:FMSD,
 author={Tabaei Befrouei, Mitra and Wang, Chao and Weissenbacher, Georg},
 title={Abstraction and Mining of Traces to Explain Concurrency Bugs},
 journal   = {Formal Methods in Systems Design (FMSD)},
 year      = {2016},
 month     = {October},
 volume    = {49},
 issue     = {1},
 pages     = {1--32},
 doi       = {10.1007/s10703-015-0240-5},
 url       = {http://dx.doi.org/10.1007/s10703-015-0240-5},
 publisher = {Springer},
}
Powered by bibtexbrowser