Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle
July 2020
PDF Cite DOI Extended Version (arXiv)
Type
Conference paper
Collection
Lecture Notes in Computer Science, vol. 12224
Publication
Computer Aided Verification (CAV 2020)
Event
32nd International Conference on Computer Aided Verification (CAV '20), Jul 21 - Jul 24, 2020
Daniel Schemmel, M.Sc.
Daniel Schemmel, M.Sc.
Julian Büning, M.Sc.
Julian Büning, M.Sc.
Researcher
Placeholder Avatar
César Rodríguez
David Laprell
David Laprell
Klaus Wehrle
Klaus Wehrle
Head of Group