Abstraction and Mining of Traces to Explain Concurrency Bugs (bibtex)
by Mitra Tabaei Befrouei
Reference:
Abstraction and Mining of Traces to Explain Concurrency BugsMitra Tabaei BefroueiProceedings of the Young Researchers' Conference "Frontiers of Formal Methods", pages 249-253, 2015, RWTH Aachen, Department of Computer Science.Note: technical report/summary version of RV14 paper
Bibtex Entry:
@inproceedings{tab15:FFM,
  author    = {Mitra Tabaei Befrouei},
  title     = {Abstraction and Mining of Traces to Explain Concurrency Bugs},
  booktitle = {Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods"},
  pages     = {249--253},
  publisher = {RWTH Aachen, Department of Computer Science},
  year      = {2015},
  url       = {http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2015/2015-06.pdf},
	editors		=	{Stroeder, Thomas and Thomas, Wolfgang},
	note 			= {technical report/summary version of RV14 paper}
}
Powered by bibtexbrowser