Cover Image

SAFLITE: Fuzzing Autonomous Systems via Large Language Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhu, Taohong, Skapars, Adrians, Mackenzie, Fardeen, Kehoe, Declan, Newton, William, Embury, Suzanne, Sun, Youcheng
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
by: Koh, Daniel, et al.
Published: (2025)

ReqInOne: A Large Language Model-Based Agent for Software Requirements Specification Generation
by: Zhu, Taohong, et al.
Published: (2025)

Specification Vibing for Automated Program Repair
by: Zhu, Taohong, et al.
Published: (2026)

Towards Large Language Model Guided Kernel Direct Fuzzing
by: Li, Xie, et al.
Published: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
by: Ogundare, Oluwatosin, et al.
Published: (2026)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
by: Mughees, Abdullah, et al.
Published: (2026)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
by: Foster, Simon, et al.
Published: (2020)

Learning Responsibility-Attributed Adversarial Scenarios for Testing Autonomous Vehicles
by: Xiao, Yizhuo, et al.
Published: (2026)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)

An Industrial Experience Report about Challenges from Continuous Monitoring, Improvement, and Deployment for Autonomous Driving Features
by: Nouri, Ali, et al.
Published: (2024)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
by: Shen, Chao, et al.
Published: (2026)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator
by: Tehrani, Masoud Jamshidiyan, et al.
Published: (2025)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

NanoCockpit: Performance-optimized Application Framework for AI-based Autonomous Nanorobotics
by: Cereda, Elia, et al.
Published: (2026)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

Exploring LLMs for Verifying Technical System Specifications Against Requirements
by: Reinpold, Lasse M., et al.
Published: (2024)

Streamlined Airborne Software Development for Large UAVs: From Unified Data Collection to Automated Code Generation
by: Sinitsyn, Viktor, et al.
Published: (2025)

Sketch2Simulation: Automating Flowsheet Generation via Multi Agent Large Language Models
by: Bahamdan, Abdullah, et al.
Published: (2026)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)

Exploration of Approaches for Robustness and Safety in a Low Code Open Environment for Factory Automation
by: A., Gustavo Quiros, et al.
Published: (2025)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
by: Chrysostomou, Demetris, et al.
Published: (2025)

ComplexVCoder: An LLM-Driven Framework for Systematic Generation of Complex Verilog Code
by: Zuo, Jian, et al.
Published: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
by: Jayasuriya, Dinithi, et al.
Published: (2026)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
by: Ellwein, Carsten, et al.
Published: (2025)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

The Necessity of a Holistic Safety Evaluation Framework for AI-Based Automation Features
by: Abbaspour, Alireza, et al.
Published: (2026)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)