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.

Aquino, A., Denaro, G., & Pezze, M. (2019). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1-21.

Denaro, G., Guglielmo, L., Mariani, L., & Riganelli, O. (2019). GUI testing in production: Challenges and opportunities. In ACM International Conference Proceeding Series (pp.1-3). Association for Computing Machinery.

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

Baresi, L., Denaro, G., & Quattrocchi, G. (2019). Symbolic execution-driven extraction of the parallel execution plans of Spark applications. In ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp.246-256). 1515 BROADWAY, NEW YORK, NY 10036-9998 USA : Association for Computing Machinery, Inc.