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


  • Braione, P., Denaro, G., Mattavelli, A., & Pezzè, M. (2017). Combining Symbolic Execution and Search-Based Testing for Programs with Complex Heap Inputs. In Proceedings of 26th International Symposium on Software Testing and Analysis. Dettaglio
  • Aquino, A., Denaro, G., & Pezze', M. (2017). Heuristically Matching Solution Spaces of Arithmetic Formulas to Efficiently Reuse Solutions. In Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 (pp.427-437). Institute of Electrical and Electronics Engineers Inc. Dettaglio
  • Braione, P., Denaro, G., & Pezzè, M. (2016). JBSE: a symbolic executor for Java programs with complex heap inputs. In FSE'16 - Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (pp.1018-1022). Dettaglio
  • Baluda, M., Denaro, G., & Pezzè, M. (2016). Bidirectional Symbolic Analysis for Effective Branch Testing. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 42(5), 403-426. Dettaglio
  • Braione, P., Denaro, G., Riganelli, O., Baluda, M., & Muhammad, A. (2015). Static/dynamic test case generation for software upgrades via ARC-B and deltatest. In H. Chockler, D. Kroening, L. Mariani, & N. Sharygina (a cura di), Validation of Evolving Software (pp. 147-184). Springer International Publishing. Dettaglio