DENARO GIOVANNI

Room: 
U14, Piano: P02, Stanza: 2012
Viale Sarca 336 - 20126 MILANO
Position: 
Role: 
Associate professor
Academic disciplines: 
INFORMATICS (INF/01)
Telephone: 
0264487810

Publications

  • 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.
  • Aquino, A., Denaro, G., & Pezze, M. (2019). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-21.
  • Denaro, G., Guglielmo, L., Mariani, L., & Riganelli, O. (2019). GUI testing in production: Challenges and opportunities. In ACM International Conference Proceeding Series (pp.1-3). Association for Computing Machinery.
  • Riboni, A., Guglielmo, L., Orru, M., Braione, P., & Denaro, G. (2019). Design for testability of ermts applications. In Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 (pp.128-136). Institute of Electrical and Electronics Engineers Inc..
  • Baresi, L., Denaro, G., & Quattrocchi, G. (2019). Symbolic execution-driven extraction of the parallel execution plans of Spark applications. In ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp.246-256). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Association for Computing Machinery, Inc.