Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Lee, Jaekwon, Pastore, Fabrizio, Briand, Lionel |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
MOTIF: A tool for Mutation Testing with Fuzzing
par: Lee, Jaekwon, et autres
Publié: (2024)
par: Lee, Jaekwon, et autres
Publié: (2024)
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
par: Attaoui, Mohammed Oualid, et autres
Publié: (2024)
par: Attaoui, Mohammed Oualid, et autres
Publié: (2024)
Testing Updated Apps by Adapting Learned Models
par: Ngo, Chanh-Duc, et autres
Publié: (2023)
par: Ngo, Chanh-Duc, et autres
Publié: (2023)
Stress Testing Control Loops in Cyber-Physical Systems
par: Mandrioli, Claudio, et autres
Publié: (2023)
par: Mandrioli, Claudio, et autres
Publié: (2023)
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
par: Ollando, Raphaël, et autres
Publié: (2024)
par: Ollando, Raphaël, et autres
Publié: (2024)
AIM: Automated Input Set Minimization for Metamorphic Security Testing
par: Chaleshtari, Nazanin Bayati, et autres
Publié: (2024)
par: Chaleshtari, Nazanin Bayati, et autres
Publié: (2024)
Supporting Safety Analysis of Image-processing DNNs through Clustering-based Approaches
par: Attaoui, Mohammed Oualid, et autres
Publié: (2023)
par: Attaoui, Mohammed Oualid, et autres
Publié: (2023)
Mutation-Guided Unit Test Generation with a Large Language Model
par: Wang, Guancheng, et autres
Publié: (2025)
par: Wang, Guancheng, et autres
Publié: (2025)
Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
par: Cheng, Mingfei, et autres
Publié: (2026)
par: Cheng, Mingfei, et autres
Publié: (2026)
LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models
par: Pan, Rongqi, et autres
Publié: (2023)
par: Pan, Rongqi, et autres
Publié: (2023)
Leveraging SystemC-TLM-based Virtual Prototypes for Embedded Software Fuzzing
par: Ghinami, Chiara, et autres
Publié: (2025)
par: Ghinami, Chiara, et autres
Publié: (2025)
Constrained Co-evolutionary Metamorphic Differential Testing for Autonomous Systems with an Interpretability Approach
par: Yousefizadeh, Hossein, et autres
Publié: (2025)
par: Yousefizadeh, Hossein, et autres
Publié: (2025)
Field-based Security Testing of SDN configuration Updates
par: Malik, Jahanzaib, et autres
Publié: (2024)
par: Malik, Jahanzaib, et autres
Publié: (2024)
Hallucination to Consensus: Multi-Agent LLMs for End-to-End JUnit Test Generation
par: Xu, Qinghua, et autres
Publié: (2025)
par: Xu, Qinghua, et autres
Publié: (2025)
TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks
par: Abbasishahkoo, Amin, et autres
Publié: (2023)
par: Abbasishahkoo, Amin, et autres
Publié: (2023)
Automated Test Case Repair Using Language Models
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2024)
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2024)
Requirements Coverage-Guided Minimization for Natural Language Test Cases
par: Pan, Rongqi, et autres
Publié: (2025)
par: Pan, Rongqi, et autres
Publié: (2025)
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2021)
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2021)
Supporting System Testing with a Multi-Agent LLM-based Framework for Knowledge Graph Extraction: A Case Study with Ethernet Switch Systems
par: Pan, Rongqi, et autres
Publié: (2026)
par: Pan, Rongqi, et autres
Publié: (2026)
Bug Histories as Sources of Compiler Fuzzing Mutators
par: Liu, Lingjun, et autres
Publié: (2025)
par: Liu, Lingjun, et autres
Publié: (2025)
Fuzzing MLIR Compilers with Custom Mutation Synthesis
par: Limpanukorn, Ben, et autres
Publié: (2024)
par: Limpanukorn, Ben, et autres
Publié: (2024)
Trace Diagnostics for Signal-based Temporal Properties
par: Boufaied, Chaima, et autres
Publié: (2022)
par: Boufaied, Chaima, et autres
Publié: (2022)
BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing
par: Xiao, Mingxuan, et autres
Publié: (2025)
par: Xiao, Mingxuan, et autres
Publié: (2025)
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
par: Etemadi, Khashayar, et autres
Publié: (2025)
par: Etemadi, Khashayar, et autres
Publié: (2025)
Learning Failure-Inducing Models for Testing Software-Defined Networks
par: Ollando, Raphaël, et autres
Publié: (2022)
par: Ollando, Raphaël, et autres
Publié: (2022)
GAN-enhanced Simulation-driven DNN Testing in Absence of Ground Truth
par: Attaoui, Mohammed, et autres
Publié: (2025)
par: Attaoui, Mohammed, et autres
Publié: (2025)
FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair
par: Fatima, Sakina, et autres
Publié: (2023)
par: Fatima, Sakina, et autres
Publié: (2023)
Uncovering Failures in Cyber-Physical System State Transitions: A Fuzzing-Based Approach Applied to sUAS
par: Chambers, Theodore, et autres
Publié: (2026)
par: Chambers, Theodore, et autres
Publié: (2026)
Efficient Black-Box Fault Localization for System-Level Test Code Using Large Language Models
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2025)
par: Yaraghi, Ahmadreza Saboor, et autres
Publié: (2025)
Engineering Resource-constrained Software Systems with DNN Components: a Concept-based Pruning Approach
par: Formica, Federico, et autres
Publié: (2026)
par: Formica, Federico, et autres
Publié: (2026)
TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
par: Niu, Feifei, et autres
Publié: (2025)
par: Niu, Feifei, et autres
Publié: (2025)
MetaSel: A Test Selection Approach for Fine-tuned DNN Models
par: Abbasishahkoo, Amin, et autres
Publié: (2025)
par: Abbasishahkoo, Amin, et autres
Publié: (2025)
Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems
par: Yousefizadeh, Hossein, et autres
Publié: (2024)
par: Yousefizadeh, Hossein, et autres
Publié: (2024)
Industrial Survey on Robustness Testing In Cyber Physical Systems
par: Ponsard, Christophe, et autres
Publié: (2026)
par: Ponsard, Christophe, et autres
Publié: (2026)
Similar Pattern Annotation via Retrieval Knowledge for LLM-Based Test Code Fault Localization
par: Gharachorlu, Golnaz, et autres
Publié: (2026)
par: Gharachorlu, Golnaz, et autres
Publié: (2026)
Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
par: Lu, Chengjie, et autres
Publié: (2025)
par: Lu, Chengjie, et autres
Publié: (2025)
When High-Performance Computing Meets Software Testing: Distributed Fuzzing using MPI
par: Caliandro, Pierciro, et autres
Publié: (2025)
par: Caliandro, Pierciro, et autres
Publié: (2025)
Stateful Embedded Fuzzing with Peripheral-Accurate SystemC Virtual Prototypes
par: Ghinami, Chiara, et autres
Publié: (2026)
par: Ghinami, Chiara, et autres
Publié: (2026)
Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
par: Mandrioli, Claudio, et autres
Publié: (2024)
par: Mandrioli, Claudio, et autres
Publié: (2024)
Randomized and Diverse Input State Generation for Quantum Program Testing
par: Ernzer, Maryse, et autres
Publié: (2026)
par: Ernzer, Maryse, et autres
Publié: (2026)
Documents similaires
-
MOTIF: A tool for Mutation Testing with Fuzzing
par: Lee, Jaekwon, et autres
Publié: (2024) -
Search-based DNN Testing and Retraining with GAN-enhanced Simulations
par: Attaoui, Mohammed Oualid, et autres
Publié: (2024) -
Testing Updated Apps by Adapting Learned Models
par: Ngo, Chanh-Duc, et autres
Publié: (2023) -
Stress Testing Control Loops in Cyber-Physical Systems
par: Mandrioli, Claudio, et autres
Publié: (2023) -
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
par: Ollando, Raphaël, et autres
Publié: (2024)