57 citations · 107 across the 12 of their papers we have counts for
14 papers
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…
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 (…
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.…
HIFuzz: Human Interaction Fuzzing for small Unmanned Aerial Vehicles
Theodore Chambers, Michael Vierhauser, Ankit Agrawal +5
Small Unmanned Aerial Systems (sUAS) must meet rigorous safety standards when deployed in high-stress emergency response scenarios; however many reported accidents have involved hu…
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers
Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal
Rigorous testing of small Uncrewed Aerial Systems (sUAS) is crucial to ensure their safe and reliable deployment in the real world. sUAS developers aim to validate the reliability…
Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process
Ankit Agrawal, Jane Cleland-Huang
Safety-critical system's failure or malfunction can cause loss of human lives or damage to the physical environment; therefore, continuous safety assessment is crucial for such sys…