Cover Image

A Declarative Framework for Hand-Crafted Mutation Analysis and Management

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Keles, Alperen
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DIRT: Database-Integrated Random Testing
by: Keles, Alperen, et al.
Published: (2026)

Programmable Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

A pragmatic look at education and training of software test engineers: Further cooperation of academia and industry is needed
by: Garousi, Vahid, et al.
Published: (2024)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

Etna: An Evaluation Platform for Property-Based Testing
by: Keles, Alperen, et al.
Published: (2026)

On Developers' Self-Declaration of AI-Generated Code: An Analysis of Practices
by: Kashif, Syed Mohammad, et al.
Published: (2025)

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

Bridging Design and Development with Automated Declarative UI Code Generation
by: Zhou, Ting, et al.
Published: (2024)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
by: Fu, Rong, et al.
Published: (2026)

METFORD -- Mutation tEsTing Framework fOR anDroid
by: Vincenzi, Auri M. R., et al.
Published: (2025)

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)

Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
by: Mirian-Hosseinabadi, Seyed-Hassan
Published: (2024)

DADL: A Declarative Description Language for Enterprise Tool Libraries in LLM Agent Systems
by: Dunkel, Axel
Published: (2026)

Declarative Policy Control for Data Spaces: A DSL-Based Approach for Manufacturing-X
by: Pfeiffer, Jérôme, et al.
Published: (2025)

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

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

Incidents During Microservice Decomposition: A Case Study
by: Eldenk, Doğaç, et al.
Published: (2025)

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

GITER: A Git-Based Declarative Exchange Model Using Kubernetes-Style Custom Resources
by: Tranoris, Christos
Published: (2025)

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

An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
by: Alhanahnah, Mohannad, et al.
Published: (2024)

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

Boosting LLMs for Mutation Generation
by: Wang, Bo, et al.
Published: (2026)

JEDI: Java Evaluation of Declarative and Imperative Queries
by: Schiavio, Filippo, et al.
Published: (2026)

Inferring Non-Failure Conditions for Declarative Programs
by: Hanus, Michael
Published: (2024)

SOPA: A Framework for Sustainability-Oriented Process Analysis and Re-design in Business Process Management
by: Klessascheck, Finn, et al.
Published: (2024)

Mutation Analysis with Execution Taints
by: Gopinath, Rahul, et al.
Published: (2024)

SC2Tools: StarCraft II Toolset and Dataset API
by: Białecki, Andrzej, et al.
Published: (2025)

QuanForge: A Mutation Testing Framework for Quantum Neural Networks
by: Shao, Minqi, et al.
Published: (2026)

UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
by: Lu, Chengjie, et al.
Published: (2026)

ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
by: Su, Bowei, et al.
Published: (2026)

Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
by: Garousi, Vahid, et al.
Published: (2024)

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

Bug Histories as Sources of Compiler Fuzzing Mutators
by: Liu, Lingjun, et al.
Published: (2025)

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

Fuzzing MLIR Compilers with Custom Mutation Synthesis
by: Limpanukorn, Ben, et al.
Published: (2024)

Benchmarking and Revisiting Code Generation Assessment: A Mutation-Based Approach
by: Wang, Longtian, et al.
Published: (2025)

AI-powered software testing tools: A systematic review and empirical assessment of their features and limitations
by: Garousi, Vahid, et al.
Published: (2024)

ISTQB Certifications Under the Lens: Their Contributions to the Software-Testing Profession; and AI-assisted Synthesis of Practitioners' Endorsements and Criticisms
by: Geruslu, Vehid, et al.
Published: (2026)