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

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. Dettaglio
Braione, P., & Denaro, G. (2019). SUSHI and TARDIS at the SBST2019 Tool Competition. In Proceedings - 2019 IEEE/ACM 12th International Workshop on Search-Based Software Testing, SBST 2019 (pp.25-28). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Institute of Electrical and Electronics Engineers Inc.. Dettaglio
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.. 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
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

Futuri studenti - Iscrizioni