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