Folgen
David Laprell
David Laprell
RWTH Aachen University
Bestätigte E-Mail-Adresse bei comsys.rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
Symbolic partial-order execution for testing multi-threaded programs
D Schemmel, J Büning, C Rodríguez, D Laprell, K Wehrle
International Conference on Computer Aided Verification, 376-400, 2020
162020
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
D Laprell, K Wehrle
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2