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)

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

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