3 papers
cs.SE2026
AutonomyLens: A Self-Evolving Simulation-Based Testing Loop for Autonomous Systems
Ankit Agrawal, Jithin Garapati, Bohan Zhang
Software engineering practices for validating autonomous cyber-physical systems (e.g., Uncrewed Aerial Vehicles) remain fragmented across scenario design, simulation execution, and…
cs.SE2025
Coupled Requirements-driven Testing of CPS: From Simulation To Reality
Ankit Agrawal, Philipp Zech, Michael Vierhauser
Failures in safety-critical Cyber-Physical Systems (CPS), both software and hardware-related, can lead to severe incidents impacting physical infrastructure or even harming humans.…
cs.SE2025
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
Venkata Sai Aswath Duvvuru, Bohan Zhang, Michael Vierhauser +1
Thorough simulation testing is crucial for validating the correct behavior of small Uncrewed Aerial Systems (sUAS) across multiple scenarios, including adverse weather conditions (…