关注
David Laprell
David Laprell
RWTH Aachen University
在 comsys.rwth-aachen.de 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作，请稍后再试。
文章 1–2