2022 | |
3. |
A Deterministic Memory Allocator for Dynamic Symbolic Execution
European Conference on Object-Oriented Programming (ECOOP 2022)
June
2022
to be published
|
2018 | |
2. |
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
September
2018
|
2017 | |
1. |
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering
October
2017
ISBN: 978-1-5386-2684-9/17
|