BRAIONE PIETRO
- U14, Piano: 2, Stanza: 2051
Pubblicazioni
Kurian, E., Denaro, G., Braione, P., Guglielmo, L. (2025). Automated Test Generation for Integration Testing. In 2025 IEEE/ACM International Conference on Automation of Software Test (AST) (pp.41-45). Institute of Electrical and Electronics Engineers Inc. [10.1109/AST66626.2025.00011]. Dettaglio
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
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