Posizione organizzativa: 
Professore associato
Settore scientifico disciplinare: 
U14, Piano: P02, Stanza: 2012
Viale Sarca, 336 - 20126 MILANO


  • Aquino, A., Denaro, G., & Pezze, M. (2021). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 47(5), 948-968. Dettaglio
  • Brunetto, M., Denaro, G., Mariani, L., & Pezze, M. (2021). On introducing automatic test case generation in practice: A success story and lessons learned. THE JOURNAL OF SYSTEMS AND SOFTWARE, 176(June 2021). Dettaglio
  • Clerissi, D., Denaro, G., Mobilio, M., & Mariani, L. (2020). Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data. In Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 (pp.66-77). Institute of Electrical and Electronics Engineers Inc. [10.1145/3324884.3416561]. Dettaglio
  • Aquino, A., Braione, P., Denaro, G., & Salza, P. (2020). Facilitating program performance profiling via evolutionary symbolic execution. SOFTWARE TESTING VERIFICATION & RELIABILITY, 30(2), 1-25 [10.1002/stvr.1719]. Dettaglio
  • Braione, P., & Denaro, G. (2019). SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019 (pp.25-28). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Institute of Electrical and Electronics Engineers Inc.. Dettaglio