11573/1713204 - 2024 -
Testing concolic execution through consistency checks Coppa, E.; Izzillo, A. - 01a Articolo in rivista
rivista: THE JOURNAL OF SYSTEMS AND SOFTWARE (Madison Square Station,New York: Elsevier Science Incorporated) pp. - - issn: 0164-1212 - wos: WOS:001199117700001 (0) - scopus: 2-s2.0-85185406736 (0)
11573/1705962 - 2023 -
FuzzPlanner: Visually Assisting the Design of Firmware Fuzzing Campaigns Coppa, Emilio; Izzillo, Alessio; Lazzeretti, Riccardo; Lenti, Simone - 04b Atto di convegno in volume
congresso: International Workshop on Visualization for Cyber Security (Melbourne; Australia)
libro: 2023 IEEE Symposium on Visualization for Cyber Security (VizSec) - (979-8-3503-1793-0; 979-8-3503-1794-7)