BRAIONE PIETRO

Ruolo:

Ricercatore

Settore scientifico disciplinare:

INFORMATICA (INF/01)

Afferenza:

E-mail:

Telefono:

0264487915

Stanza:

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
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
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

Futuri studenti