Follow
David Laprell
David Laprell
Verified email at comsys.rwth-aachen.de
Title
Cited by
Cited by
Year
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
The system can't perform the operation now. Try again later.
Articles 1–2