Settore scientifico disciplinare: 
U14, Piano: P01, Stanza: 1008
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
  • 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
  • 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
  • Braione, P., Denaro, G., & Pezzè, M. (2015). Symbolic execution of programs with heap inputs. In 2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings (pp.602-613). Association for Computing Machinery, Inc. Dettaglio
  • Arcelli Fontana, F., Braione, P., Roveda, R., & Zanoni, M. (2015). A Context-Aware Style of Software Design. In Proceeding of the 2nd International Workshop on Context for Software Development (CSD 2015) (pp.15-19). Firenze : IEEE. Dettaglio