Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
Fuente:
arXiv
Saved in:
| Main Authors: | Chambers, Theodore, Bernal, Arturo Miguel Russell, Vierhauser, Michael, Cleland-Huang, Jane |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025)
Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025)
by: Dearstyne, Katherine, et al.
Published: (2025)
Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
by: Pfister, Zoe, et al.
Published: (2025)
by: Pfister, Zoe, et al.
Published: (2025)
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)
by: Lee, Jaekwon, et al.
Published: (2025)
A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)
by: Hunter, Michael C., et al.
Published: (2025)
Scenario-Based Field Testing of Drone Missions
by: Vierhauser, Michael, et al.
Published: (2024)
by: Vierhauser, Michael, et al.
Published: (2024)
WuppieFuzz: Coverage-Guided, Stateful REST API Fuzzing
by: Rooijakkers, Thomas, et al.
Published: (2025)
by: Rooijakkers, Thomas, et al.
Published: (2025)
ROOT: Requirements Organization and Optimization Tool
by: Dearstyne, Katherine R., et al.
Published: (2024)
by: Dearstyne, Katherine R., et al.
Published: (2024)
Supporting Software Maintenance with Dynamically Generated Document Hierarchies
by: Dearstyne, Katherine R., et al.
Published: (2024)
by: Dearstyne, Katherine R., et al.
Published: (2024)
Bringing AI into the Classroom: A Structured Approach for Integrating AI into Software Engineering Education
by: Groher, Iris, et al.
Published: (2026)
by: Groher, Iris, et al.
Published: (2026)
Coupled Requirements-driven Testing of CPS: From Simulation To Reality
by: Agrawal, Ankit, et al.
Published: (2024)
by: Agrawal, Ankit, et al.
Published: (2024)
"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System
by: Rossi, Maria Teresa, et al.
Published: (2026)
by: Rossi, Maria Teresa, et al.
Published: (2026)
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes
by: Ghinami, Chiara, et al.
Published: (2026)
by: Ghinami, Chiara, et al.
Published: (2026)
Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)
by: Muzy, Alexandre
Published: (2026)
Runtime Advocates: A Persona-Driven Framework for Requirements@Runtime Decision Support
by: Hernandez, Demetrius, et al.
Published: (2025)
by: Hernandez, Demetrius, et al.
Published: (2025)
LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)
by: Duvvuru, Venkata Sai Aswath, et al.
Published: (2025)
Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)
by: Jodat, Baharin A., et al.
Published: (2025)
Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)
by: Valle, Pablo
Published: (2025)
Uses of Active and Passive Learning in Stateful Fuzzing
by: Daniele, Cristian, et al.
Published: (2024)
by: Daniele, Cristian, et al.
Published: (2024)
Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs
by: Zhang, Lei
Published: (2026)
by: Zhang, Lei
Published: (2026)
Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)
by: Guo, Jin L. C., et al.
Published: (2024)
An Online Integrated Development Environment for Automated Programming Assessment Systems
by: Frankford, Eduard, et al.
Published: (2025)
by: Frankford, Eduard, et al.
Published: (2025)
Towards Integrating Emerging AI Applications in SE Education
by: Vierhauser, Michael, et al.
Published: (2024)
by: Vierhauser, Michael, et al.
Published: (2024)
Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)
by: Schneider, Daniel, et al.
Published: (2024)
MicroFuzz: An Efficient Fuzzing Framework for Microservices
by: Di, Peng, et al.
Published: (2024)
by: Di, Peng, et al.
Published: (2024)
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
by: Ollando, Raphaël, et al.
Published: (2024)
by: Ollando, Raphaël, et al.
Published: (2024)
Stalled, Biased, and Confused: Uncovering Reasoning Failures in LLMs for Cloud-Based Root Cause Analysis
by: Riddell, Evelien, et al.
Published: (2026)
by: Riddell, Evelien, et al.
Published: (2026)
FLARE: Agentic Coverage-Guided Fuzzing for LLM-Based Multi-Agent Systems
by: Hui, Mingxuan, et al.
Published: (2026)
by: Hui, Mingxuan, et al.
Published: (2026)
Perception-Guided Fuzzing for Simulated Scenario-Based Testing of Autonomous Driving Systems
by: Pham, Tri Minh Triet, et al.
Published: (2024)
by: Pham, Tri Minh Triet, et al.
Published: (2024)
Requirements Engineering for a Web-based Research, Technology & Innovation Monitoring Tool
by: Mazak-Huemer, Alexandra, et al.
Published: (2025)
by: Mazak-Huemer, Alexandra, et al.
Published: (2025)
Is Stateful Fuzzing Really Challenging?
by: Daniele, Cristian
Published: (2024)
by: Daniele, Cristian
Published: (2024)
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)
by: Caldas, Ricardo D.
Published: (2024)
Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)
by: Mandrioli, Claudio, et al.
Published: (2023)
Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)
by: Ponsard, Christophe, et al.
Published: (2026)
Design and Deployment of a Course-Aware AI Tutor in an Introductory Programming Course
by: Groher, Iris, et al.
Published: (2026)
by: Groher, Iris, et al.
Published: (2026)
FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
by: Lyu, Yunlong, et al.
Published: (2026)
by: Lyu, Yunlong, et al.
Published: (2026)
Fuzz Smarter, Not Harder: Towards Greener Fuzzing with GreenAFL
by: Ercevik, Ayse Irmak, et al.
Published: (2025)
by: Ercevik, Ayse Irmak, et al.
Published: (2025)
XMutant: XAI-based Fuzzing for Deep Learning Systems
by: Chen, Xingcheng, et al.
Published: (2025)
by: Chen, Xingcheng, et al.
Published: (2025)
Approximate Bayesian Computation As An Informed Fuzzing-Inference System
by: Vaisnor, Chris
Published: (2024)
by: Vaisnor, Chris
Published: (2024)
A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Direction
by: Birchler, Christian, et al.
Published: (2024)
by: Birchler, Christian, et al.
Published: (2024)
Similar Items
-
Validating Terrain Models in Digital Twins for Trustworthy sUAS Operations
by: Bernal, Arturo Miguel Russell, et al.
Published: (2025) -
Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025) -
Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
by: Pfister, Zoe, et al.
Published: (2025) -
Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025) -
A Family-Based Approach to Safety Cases for Controlled Airspaces in Small Uncrewed Aerial Systems
by: Hunter, Michael C., et al.
Published: (2025)