Automatic testing of symbolic execution engines via program generation and differential testing T Kapus, C Cadar 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 64 | 2017 |
A segmented memory model for symbolic execution T Kapus, C Cadar Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 30 | 2019 |
Past-sensitive pointer analysis for symbolic execution D Trabish, T Kapus, N Rinetzky, C Cadar Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 13 | 2020 |
Computing summaries of string loops in C for better testing and refactoring T Kapus, O Ish-Shalom, S Itzhaky, N Rinetzky, C Cadar Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 12 | 2019 |
Constraints in dynamic symbolic execution: Bitvectors or integers? T Kapus, M Nowack, C Cadar Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 11 | 2019 |
Pending constraints in symbolic execution for better exploration and seeding T Kapus, F Busse, C Cadar Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 6 | 2020 |
FAUSTA: scaling dynamic analysis with traffic generation at whatsapp K Mao, T Kapus, L Petrou, Á Hajdu, M Marescotti, A Löscher, M Harman, ... 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 5 | 2022 |
Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints T Kapus Imperial College London, 2021 | | 2021 |
Testing symbolic execution engines T Kapus | | 2017 |