Announcement_8

The research paper “Automated Combinatorial Test Generation for Alloy” (by A. Borda, G. Regis, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025.