TOSEM 2025

Finding Safety Violations of AI-Enabled Control Systems Through the Lens of Synthesized Proxy Programs

Jieke Shi, Zhou Yang, Junda He, Bowen Xu, Dongsun Kim, DongGyun Han, David Lo

ACM Transactions on Software Engineering and Methodology (TOSEM), 2025