BRAIONE PIETRO
- U14, Piano: 2, Stanza: 2051
Pubblicazioni
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]. Dettaglio
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]. Dettaglio
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]. Dettaglio
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]. Dettaglio
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]. Dettaglio