| 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 | 18 | 2020 |
| Symbolic Liveness Analysis of Real-World Software D Schemmel, J Büning, OS Dustmann, T Noll, K Wehrle International Conference on Computer Aided Verification, 447-466, 2018 | 6 | 2018 |
| A Deterministic Memory Allocator for Dynamic Symbolic Execution D Schemmel, J Büning, F Busse, M Nowack, C Cadar European Conference on Object-Oriented Programming, 2022 | 5 | 2022 |
| KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay D Schemmel, J Büning, F Busse, M Nowack, C Cadar Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 1 | 2023 |
Daniel SchemmelImperial College London在 imperial.ac.uk 的电子邮件经过验证
