2 papers
cs.SE2025
Curiosity-Driven Testing for Sequential Decision-Making Process
Junda He, Zhou Yang, Jieke Shi +5
Sequential decision-making processes (SDPs) are fundamental for complex real-world challenges, such as autonomous driving, robotic control, and traffic management. While recent adv…
cs.SE2025
Finding Safety Violations of AI-Enabled Control Systems through the Lens of Synthesized Proxy Programs
Jieke Shi, Zhou Yang, Junda He +4
Given the increasing adoption of modern AI-enabled control systems, ensuring their safety and reliability has become a critical task in software testing. One prevalent approach to…