:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Mirian-Hosseinabadi, Seyed-Hassan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2410.21904
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing
by: Ghanbari, Ali, et al.
Published: (2025)

MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)

Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)

Simulink Mutation Testing using CodeBERT
by: Zhang, Jingfan, et al.
Published: (2025)

LLMorpheus: Mutation Testing using Large Language Models
by: Tip, Frank, et al.
Published: (2024)

Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game
by: Straubinger, Philipp, et al.
Published: (2025)

Leveraging Propagated Infection to Crossfire Mutants
by: Du, Hang, et al.
Published: (2024)

MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)

MuSe: a Mutation Testing Plugin for the Remix IDE
by: Iuliano, Gerardo, et al.
Published: (2026)

Towards Multi-Platform Mutation Testing of Task-based Chatbots
by: Clerissi, Diego, et al.
Published: (2025)

MioHint: LLM-assisted Mutation for Whitebox API Testing
by: Li, Jia, et al.
Published: (2025)

Security Testing of RESTful APIs With Test Case Mutation
by: Salva, Sebastien, et al.
Published: (2024)

Engaging Young Learners with Testing Using the Code Critters Mutation Game
by: Straubinger, Philipp, et al.
Published: (2024)

MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
by: Bockisch, Christoph, et al.
Published: (2024)

Mutation-Guided Unit Test Generation with a Large Language Model
by: Wang, Guancheng, et al.
Published: (2025)

Formalizing Regression Testing for Agile and Continuous Integration Environments
by: Das, Suddhasvatta, et al.
Published: (2025)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

Are Benchmark Tests Strong Enough? Mutation-Guided Diagnosis and Augmentation of Regression Suites
by: Li, Chenglin, et al.
Published: (2026)

MuFF: Stable and Sensitive Post-training Mutation Testing for Deep Learning
by: Kim, Jinhan, et al.
Published: (2025)

Deep Learning Framework Testing via Model Mutation: How Far Are We?
by: Mu, Yanzhou, et al.
Published: (2025)

Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)

Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
by: Kauffman, Sean, et al.
Published: (2024)

Methodology for Test Case Allocation based on a Formalized ODD
by: Skoglund, Martin, et al.
Published: (2025)

Robust Mutation Analysis of Quantum Programs Under Noise
by: Fortz, Sophie, et al.
Published: (2026)

DevMuT: Testing Deep Learning Framework via Developer Expertise-Based Mutation
by: Mu, Yanzhou, et al.
Published: (2025)

FIKA: Expanding Dependency Reachability with Executability Guarantees
by: Gamage, Yogya, et al.
Published: (2026)

Automated Penetration Testing: Formalization and Realization
by: Skandylas, Charilaos, et al.
Published: (2024)

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis
by: Huang, Zhechong, et al.
Published: (2026)

Extracting Formal Specifications from Documents Using LLMs for Automated Testing
by: Li, Hui, et al.
Published: (2025)

MutaBot: A Mutation Testing Approach for Chatbots
by: Urrico, Michael Ferdinando, et al.
Published: (2024)

Leveraging Mutation Analysis for LLM-based Repair of Quantum Programs
by: Yoshida, Chihiro, et al.
Published: (2026)

Examining LLMs Ability to Summarize Code Through Mutation-Analysis
by: Khatib, Lara, et al.
Published: (2026)

A Declarative Framework for Hand-Crafted Mutation Analysis and Management
by: Keles, Alperen
Published: (2026)

muPRL: A Mutation Testing Pipeline for Deep Reinforcement Learning based on Real Faults
by: Thomas, Deepak-George, et al.
Published: (2024)

A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing
by: Musco, Vincenzo, et al.
Published: (2018)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
by: Faria, João Pascoal, et al.
Published: (2026)

GPU-Accelerated Loopy Belief Propagation for Program Analysis
by: Feng, Haoyu, et al.
Published: (2025)