BRAIONE PIETRO

Role
Associate professor  
Academic disciplines
Sistemi di elaborazione delle informazioni (ING-INF/05)
Email
[email protected]
Office phone
0264487915
Room:
  • U14, Floor: 2, Room: 2051

Publications

  • Kurian, E., Braione, P., Briola, D., D'Avino, D., Modonato, M., Denaro, G. (2023). Automated Test Case Generation for Safety-Critical Software in Scade. In Proceedings - International Conference on Software Engineering (pp.483-494). IEEE Computer Society [10.1109/ICSE-SEIP58684.2023.00049]. Detail

  • Kurian, E., Briola, D., Braione, P., Denaro, G. (2023). Automatically generating test cases for safety-critical software via symbolic execution. THE JOURNAL OF SYSTEMS AND SOFTWARE, 199 [10.1016/j.jss.2023.111629]. Detail

  • Bertolino, A., Braione, P., Angelis, G., Gazzola, L., Kifetew, F., Mariani, L., et al. (2022). A Survey of Field-based Testing Techniques. ACM COMPUTING SURVEYS, 54(5), 1-39 [10.1145/3447240]. Detail

  • Braione, P., Briola, D., De Angelis, G., Gallo, F., Poggi, F., Quattrocchi, G. (2020). Message from the GAUSS 2020 Workshop Chairs. In Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (pp.30-31). Institute of Electrical and Electronics Engineers Inc. [10.1109/ISSREW51248.2020.00013]. Detail

  • 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 [10.1002/stvr.1719]. Detail

Full list