| FUZZOLIC: mixing fuzzing and concolic execution L Borzacchiello, E Coppa, C Demetrescu Computers & Security 108, 102368, 2021 | 36 | 2021 |
| Memory models in symbolic execution: key ideas and new thoughts L Borzacchiello, E Coppa, D Cono D'Elia, C Demetrescu Software Testing, Verification and Reliability 29 (8), e1722, 2019 | 24 | 2019 |
| Fuzzing symbolic expressions L Borzacchiello, E Coppa, C Demetrescu 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 23 | 2021 |
| SymNav: Visually assisting symbolic execution M Angelini, G Blasilli, L Borzacchiello, E Coppa, DC D’Elia, C Demetrescu, ... 2019 IEEE Symposium on Visualization for Cyber Security (VizSec), 1-11, 2019 | 18 | 2019 |
| Reconstructing C2 servers for remote access trojans with symbolic execution L Borzacchiello, E Coppa, DC D’Elia, C Demetrescu Cyber Security Cryptography and Machine Learning: Third International …, 2019 | 12 | 2019 |
| SENinja: A symbolic execution plugin for Binary Ninja L Borzacchiello, E Coppa, C Demetrescu SoftwareX 20, 101219, 2022 | 5 | 2022 |
| Handling memory-intensive operations in symbolic execution L Borzacchiello, E Coppa, C Demetrescu 15th Innovations in Software Engineering Conference, 1-5, 2022 | 5 | 2022 |
| Reach Me if You Can: On Native Vulnerability Reachability in Android Apps L Borzacchiello, E Coppa, D Maiorca, A Columbu, C Demetrescu, ... European Symposium on Research in Computer Security, 701-722, 2022 | | 2022 |
