| 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 | 76 | 2017 |
| A segmented memory model for symbolic execution T Kapus, C Cadar Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 35 | 2019 |
| 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 | 21 | 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 | 17 | 2020 |
| 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 | 12 | 2020 |
| 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 | 12 | 2019 |
| 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 | 8 | 2022 |
| PrivacyCAT: Privacy-aware code analysis at scale K Mao, C Åhs, S Cela, D Distefano, N Gardner, R Grigore, P Gustafsson, ... Proceedings of the 46th International Conference on Software Engineering …, 2024 | 3 | 2024 |
| Automated end-to-end dynamic taint analysis for WhatsApp S Cela, A Ciancone, P Gustafsson, Á Hajdu, Y Jia, T Kapus, M Koshtenko, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |
| Enhancing Compositional Static Analysis with Dynamic Analysis D Distefano, M Marescotti, C Ahs, S Cela, GC Sampaio, R Grigore, ... Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints T Kapus, C Cadar Imperial College London, 2021 | | 2021 |
| Testing symbolic execution engines T Kapus | | 2017 |
