DENARO GIOVANNI

Ruolo: 
professore associato
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
Telefono: 
0264487810
Stanza: 
U14, Piano: P02, Stanza: 2012
Viale Sarca, 336 - 20126 MILANO

Pubblicazioni

  • Aquino, A., Denaro, G., & Pezze, M. (2019). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-21. Dettaglio
  • Braione, P., Denaro, G., Mattavelli, A., & Pezzè, M. (2018). SUSHI: A test generator for programs with complex structured inputs. In Proceedings - International Conference on Software Engineering (pp.21-24). IEEE Computer Society. Dettaglio
  • Aquino, A., Denaro, G., & Salza, P. (2018). Worst-Case Execution Time Testing via Evolutionary Symbolic Execution. In Proceedings - International Symposium on Software Reliability Engineering, ISSRE (pp.76-87). IEEE Computer Society. 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., 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