Announcement_9
The research paper “State Field Coverage: A Metric for Oracle Quality” (by F. Molina, N. Aguirre and A. Gorla) has been accepted for publication at the 40th IEEE/ACM International Conference on Automated Software Engineering ASE 2025.