BRAIONE PIETRO

Ruolo: 
Ricercatore
Settore scientifico disciplinare: 
INFORMATICA (INF/01)
Telefono: 
0264487915
Stanza: 
U14, Piano: P01, Stanza: 1008
Viale Sarca, 336 - 20126 MILANO

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