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