[Back]


Talks and Poster Presentations (with Proceedings-Entry):

M. Tabaei Befrouei, C. Wang, G. Weissenbacher:
"Abstraction and Mining of Traces to Explain Concurrency Bugs";
Talk: nternational Conference on Runtime Verification, Toronto, Kanada; 2014-09-22 - 2014-09-25; in: "Runtime Verification", Springer / LNCS, 8734 (2014), ISBN: 978-3-319-11163-6; 162 - 177.



"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-11164-3_14



Related Projects:
Project Head Georg Weissenbacher:
Heisenbugs: Auffindung und Erklärung


Created from the Publication Database of the Vienna University of Technology.