U14, Piano: P01, Stanza: 1008
Viale Sarca, 336 - 20126 MILANO
Viale Sarca, 336 - 20126 MILANO
BRAIONE PIETRO
Ruolo:
Ricercatore
Settore scientifico disciplinare:
INFORMATICA (INF/01)
E-mail:
Telefono:
0264487915
Stanza:
Didattica
A.A.: 2020/2021
A.A.: 2019/2020
A.A.: 2018/2019
A.A.: 2017/2018
Pubblicazioni
- 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
- Geraci, C., Braione, P., Cecchetto, C., Quer, J., & Pfau, P. (2019). Hidden languages in a digital world: the case of sign language archives. In D. Piccardi, F. Ardolino, & S. Calamai (a cura di), Gli archivi sonori al crocevia tra scienze fonetiche, informatica umanistica e patrimonio digitale / Audio archives at the crossroads of speech sciences, digital humanities and digital heritage (pp. 31-47). Officinaventuno sas. 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