MMT: Mutation Testing of Java Bytecode with Model Transformation -- An Illustrative Demonstration
Fuente:
arXiv
Saved in:
| Main Authors: | Bockisch, Christoph, Taentzer, Gabriele, Neufeld, Daniel |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
by: Schott, Stefan, et al.
Published: (2025)
by: Schott, Stefan, et al.
Published: (2025)
Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation
by: Elgendy, Islam T., et al.
Published: (2025)
by: Elgendy, Islam T., et al.
Published: (2025)
A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing
by: Dick, Steffen, et al.
Published: (2024)
by: Dick, Steffen, et al.
Published: (2024)
Using weakest application conditions to rank graph transformations for graph repair
by: Fritsche, Lars, et al.
Published: (2024)
by: Fritsche, Lars, et al.
Published: (2024)
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)
by: Zou, Yinglong, et al.
Published: (2024)
Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)
by: Xiang, Jianhang, et al.
Published: (2025)
Automated Testing of COBOL to Java Transformation
by: Hans, Sandeep, et al.
Published: (2025)
by: Hans, Sandeep, et al.
Published: (2025)
Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)
by: Lauer, Alexander, et al.
Published: (2026)
Building Reuse-Sensitive Control Flow Graphs (CFGs) for EVM Bytecode
by: Wang, Dingding, et al.
Published: (2025)
by: Wang, Dingding, et al.
Published: (2025)
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
by: Moloney, Charles, et al.
Published: (2026)
by: Moloney, Charles, et al.
Published: (2026)
Java JIT Testing with Template Extraction
by: Zang, Zhiqiang, et al.
Published: (2024)
by: Zang, Zhiqiang, et al.
Published: (2024)
LLMorpheus: Mutation Testing using Large Language Models
by: Tip, Frank, et al.
Published: (2024)
by: Tip, Frank, et al.
Published: (2024)
EPSO: A Caching-Based Efficient Superoptimizer for BPF Bytecode
by: Zhu, Qian, et al.
Published: (2025)
by: Zhu, Qian, et al.
Published: (2025)
Concolic Testing of JavaScript using Sparkplug
by: Li, Zhe, et al.
Published: (2024)
by: Li, Zhe, et al.
Published: (2024)
Reproduction Test Generation for Java SWE Issues
by: Ahmed, Toufique, et al.
Published: (2026)
by: Ahmed, Toufique, et al.
Published: (2026)
Mutation-Guided Unit Test Generation with a Large Language Model
by: Wang, Guancheng, et al.
Published: (2025)
by: Wang, Guancheng, et al.
Published: (2025)
MOTIF: A tool for Mutation Testing with Fuzzing
by: Lee, Jaekwon, et al.
Published: (2024)
by: Lee, Jaekwon, et al.
Published: (2024)
Hybrid Fault-Driven Mutation Testing for Python
by: Alimadadi, Saba, et al.
Published: (2026)
by: Alimadadi, Saba, et al.
Published: (2026)
Simulink Mutation Testing using CodeBERT
by: Zhang, Jingfan, et al.
Published: (2025)
by: Zhang, Jingfan, et al.
Published: (2025)
A Systematic Evaluation of Environmental Flakiness in JavaScript Tests
by: Hashemi, Negar, et al.
Published: (2026)
by: Hashemi, Negar, et al.
Published: (2026)
Detecting and Evaluating Order-Dependent Flaky Tests in JavaScript
by: Hashemi, Negar, et al.
Published: (2025)
by: Hashemi, Negar, et al.
Published: (2025)
Deep Learning Framework Testing via Model Mutation: How Far Are We?
by: Mu, Yanzhou, et al.
Published: (2025)
by: Mu, Yanzhou, et al.
Published: (2025)
Mutation Testing via Iterative Large Language Model-Driven Scientific Debugging
by: Straubinger, Philipp, et al.
Published: (2025)
by: Straubinger, Philipp, et al.
Published: (2025)
Teaching Loop Testing to Young Learners with the Code Critters Mutation Testing Game
by: Straubinger, Philipp, et al.
Published: (2025)
by: Straubinger, Philipp, et al.
Published: (2025)
Automatic Build Repair for Test Cases using Incompatible Java Versions
by: Mak, Ching Hang, et al.
Published: (2024)
by: Mak, Ching Hang, et al.
Published: (2024)
Multi-agent Assisted Automatic Test Generation for Java JSON Libraries
by: Wang, Sinan, et al.
Published: (2024)
by: Wang, Sinan, et al.
Published: (2024)
SBFT Tool Competition 2025 -- Java Test Case Generation Track
by: Kifetew, Fitsum, et al.
Published: (2025)
by: Kifetew, Fitsum, et al.
Published: (2025)
MuMuTestUp: Mutation-based Multi-Agent Test Case Update
by: Tian, Dawei, et al.
Published: (2026)
by: Tian, Dawei, et al.
Published: (2026)
Formal Analysis of Reachability, Infection and Propagation Conditions in Mutation Testing
by: Mirian-Hosseinabadi, Seyed-Hassan
Published: (2024)
by: Mirian-Hosseinabadi, Seyed-Hassan
Published: (2024)
MuSe: a Mutation Testing Plugin for the Remix IDE
by: Iuliano, Gerardo, et al.
Published: (2026)
by: Iuliano, Gerardo, et al.
Published: (2026)
Towards Multi-Platform Mutation Testing of Task-based Chatbots
by: Clerissi, Diego, et al.
Published: (2025)
by: Clerissi, Diego, et al.
Published: (2025)
MioHint: LLM-assisted Mutation for Whitebox API Testing
by: Li, Jia, et al.
Published: (2025)
by: Li, Jia, et al.
Published: (2025)
IntelliGame in Action: An Experience Report on Gamifying JavaScript Unit Tests
by: Straubinger, Philipp, et al.
Published: (2024)
by: Straubinger, Philipp, et al.
Published: (2024)
Designing and Implementing Robust Test Automation Frameworks using Cucumber BDD and Java
by: Srinivas, Srikanth, et al.
Published: (2025)
by: Srinivas, Srikanth, et al.
Published: (2025)
Automated Validation of COBOL to Java Transformation
by: Kumar, Atul, et al.
Published: (2025)
by: Kumar, Atul, et al.
Published: (2025)
Engaging Young Learners with Testing Using the Code Critters Mutation Game
by: Straubinger, Philipp, et al.
Published: (2024)
by: Straubinger, Philipp, et al.
Published: (2024)
Using Fourier Analysis and Mutant Clustering to Accelerate DNN Mutation Testing
by: Ghanbari, Ali, et al.
Published: (2025)
by: Ghanbari, Ali, et al.
Published: (2025)
Deterministic vs. Probabilistic Summarisation: An Empirical Trade-off Study in Design Pattern Centric Java Code
by: Nazar, Najam, et al.
Published: (2026)
by: Nazar, Najam, et al.
Published: (2026)
Yaksha-Prashna: Understanding eBPF Bytecode Network Function Behavior
by: Singh, Animesh, et al.
Published: (2026)
by: Singh, Animesh, et al.
Published: (2026)
Security Testing of RESTful APIs With Test Case Mutation
by: Salva, Sebastien, et al.
Published: (2024)
by: Salva, Sebastien, et al.
Published: (2024)
Similar Items
-
Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
by: Schott, Stefan, et al.
Published: (2025) -
Empirically Evaluating the Use of Bytecode for Diversity-Based Test Case Prioritisation
by: Elgendy, Islam T., et al.
Published: (2025) -
A Feedback Toolkit and Procedural Guidance for Teaching Thorough Testing
by: Dick, Steffen, et al.
Published: (2024) -
Using weakest application conditions to rank graph transformations for graph repair
by: Fritsche, Lars, et al.
Published: (2024) -
Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
by: Zou, Yinglong, et al.
Published: (2024)