David Laprell

202020212022202320241 2 5 7 1

Public access

1 article

0 articles

available

not available

Based on funding mandates

Klaus WehrleProfessor at RWTH Aachen UniversityVerified email at comsys.rwth-aachen.de
Daniel SchemmelImperial College LondonVerified email at imperial.ac.uk
Julian BüningRWTH Aachen UniversityVerified email at rwth-aachen.de

David Laprell

Verified email at comsys.rwth-aachen.de


Title Sort by citations Sort by year Sort by 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	16	2020
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

Citations per year