Formal-guided fuzz testing: Targeting security assurance from specification to implementation for 5g and beyond

J Yang, S Arya, Y Wang - IEEE Access, 2024 - ieeexplore.ieee.org
Softwarization and virtualization in 5G and beyond necessitate thorough testing to ensure
the security of critical infrastructure and networks. This involves identifying vulnerabilities …

Stress testing autonomous racing overtake maneuvers with rrt

S Bak, J Betz, A Chawla, H Zheng… - 2022 IEEE Intelligent …, 2022 - ieeexplore.ieee.org
High-performance autonomy often must operate at the boundaries of safety. When external
agents are present in a system, the process of ensuring safety without sacrificing …

A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles

A Agrawal, B Zhang, Y Shivalingaiah… - 2023 IEEE 31st …, 2023 - ieeexplore.ieee.org
Flight-time failures of small Uncrewed Aerial Systems (sUAS) can have a severe impact on
people or the environment. Therefore, sUAS applications must be thoroughly evaluated and …

Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection

K Tsujio, MA Al Faruque… - 2024 ACM/IEEE 15th …, 2024 - ieeexplore.ieee.org
Cyber-physical systems (CPS) play a pivotal role in modern critical infrastructure, spanning
sectors such as energy, transportation, healthcare, and manufacturing. These systems …

LiTelFuzz: Swarms Fuzzing Based on Linear Temporal Logic Constraints

Z Zhang, R Zhou, H Han, X Zhang, Y Shen - arXiv preprint arXiv …, 2024 - arxiv.org
Multi-robot swarms utilize swarm intelligence to collaborate on tasks and play an
increasingly significant role in a variety of practical scenarios. However, due to the complex …

Coverage-guided State Space Exploration of Autonomous Cyber-Physical Systems

S Sheikhi, S Bak - 2023 IEEE 9th International Conference on …, 2023 - ieeexplore.ieee.org
Autonomous Cyber-Physical Systems (CPS) play a substantial role in many domains, such
as aerospace, transportation, critical infrastructure, and industrial manufacturing. However …

Coverage Explorer: Coverage-guided Test Generation for Cyber Physical Systems

S Sheikhi, S Bak - arXiv preprint arXiv:2312.02313, 2023 - arxiv.org
Given the safety-critical functions of autonomous cyber-physical systems (CPS) across
diverse domains, testing these systems is essential. While conventional software and …

Qualification of Complex Pre-existing Software for Safety-critical Automotive Systems

J Toennemann - SAFECOMP 2023, Position Paper, 2023 - hal.science
Development of safety-related systems and of the software therein is required to adhere to
specific process requirements. Appropriate re-use of existing software, either of legacy in …

Testing Strategies and Designing Controllers for Autonomous Racing

A Chawla - 2022 - search.proquest.com
Autonomous vehicles have recently gained immense popularity, with a promise of efficiency,
ubiquitous access, safety and autonomy, in turn leading to improvement in the economy …