Talks and Poster Presentations (with Proceedings-Entry):

S. Leue, M. Tabaei Befrouei:
"Mining Sequential Patterns to Explain Concurrent Counterexamples";
Talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 - 2013-07-09; in: "SPIN", LNCS, Springer, 7976 (2013), ISBN: 978-3-642-39175-0; 264 - 281.

"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.