news

Feb 22, 2024 The research paper “Abstraction-Aware Inference of Metamorphic Relations” (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) has been accepted for publication at the ACM International Conference on the Foundations of Software Engineering FSE 2024.
Dec 15, 2023 The paper “SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions” (by L. Carvalho, R. Degiovanni, M. Cordy, N. Aguirre, Y. Le Traon and M. Papadakis) has been accepted for publication at the research track of the 46th International Conference on Software Engineering ICSE 2024.
Nov 27, 2023 Nazareno Aguirre is keynote speaker at the Symposium on Dependable Software Engineering: Theories, Tools and Applications SETTA 2023.
Sep 25, 2023 The research paper “Precise Lazy Initialization for Programs with Complex Heap Inputs” (by J. Copia, F. Molina, N. Aguirre, M. Frias, A. Gorla, and P. Ponzio) has been accepted for publication at the 34th IEEE International Symposium on Software Reliability Engineering.
Sep 25, 2023 The research paper “Enabling Efficient Assertion Inference” (by A. Garg, R. Degiovanni, F. Molina, M. Cordy, N. Aguirre, M. Papadakis, and Y. Le Traon) has been accepted for publication at the 34th IEEE International Symposium on Software Reliability Engineering.