Settore scientifico disciplinare: 
U14, Piano: P01, Stanza: 1008
Viale Sarca, 336 - 20126 MILANO


  • 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
  • Braione, P., Denaro, G., Mattavelli, A., & Pezze', 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 (pp.90-101). 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., & 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
  • 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