00

Mu2

Tool ☆ WATCH ⎘ SHARE

First seen 7/20/2026

Last seen 7/20/2026

Evidence 16 chunks

01

NEIGHBORHOOD

21 nodes · 28 edges

graph · Mu2 · depth=1

02

RELATIONSHIPS

23 connections

differential testing uses → 100% 2e evidence

Differential testing is used by Mu2 as the oracle for determining mutant killing in the fuzzing loop.

Mutation-Analysis-Guided Fuzzing implements → 100% 2e evidence

Mu2 implements mutation-analysis-guided fuzzing by incorporating mutation analysis into the greybox fuzzing loop.

PIT uses → 100% 2e evidence

Mu2 uses PIT's mutation operators to generate program mutants.

JQF uses → 100% 2e evidence

Mu2 is built on top of the JQF greybox fuzzing framework.

differential testing implements → 100% 2e evidence

Mu2 uses differential testing as its oracle for mutation testing within the fuzzing loop.

Execution-Based Pruning implements → 100% 2e evidence

Mu2 implements execution-based pruning from the PIE model to reduce the number of mutants run per iteration.

Infection-Based Pruning implements → 100% 2e evidence

Mu2 implements infection-based pruning from the PIE model to reduce the number of mutants run per iteration.

Zest compares with → 100% 2e evidence

Mu2 is evaluated against Zest as the state-of-the-art baseline greybox fuzzer.

Mutation Score evaluates → 100% 2e evidence

Mu2 uses mutation score as the primary metric to guide corpus generation and evaluate test quality.

Google Closure Compiler evaluates → 100% 2e evidence

Mu2 is evaluated on the Google Closure Compiler benchmark.

ChocoPy evaluates → 100% 2e evidence

Mu2 is evaluated on the ChocoPy reference compiler benchmark.

Guiding Greybox Fuzzing with Mutation Testing ← evaluates 100% 2e evidence

The paper evaluates Mu2 across five real-world Java benchmarks and 21,600 CPU-hours of fuzzing campaigns.

Fuzzing Corpus introduces → 85% 2e evidence

Mu2 synthesizes a test-input corpus guided by mutation score for use in regression testing.

Guiding Greybox Fuzzing with Mutation Testing ← introduces 100% 2e evidence

The paper introduces Mu2, a Java-based framework for mutation-analysis-guided greybox fuzzing.

Mu2 Source Code part of → 90% 1e evidence

Mu2 is open-sourced and its implementation is available as the Mu2 Source Code artifact.

Gson evaluates → 100% 1e evidence

Mu2 is evaluated on the Gson JSON parser benchmark.

k-Least-Executed Mutant Filter implements → 100% 1e evidence

Mu2 implements the k-Least-Executed Mutant Filter as an aggressive optimization strategy.

k-Random Mutant Filter implements → 100% 1e evidence

Mu2 implements the k-Random Mutant Filter as an aggressive optimization strategy.

CoverageClassLoader uses → 100% 1e evidence

Mu2 uses a CoverageClassLoader to load the original program and collect code coverage.

MutationClassLoader uses → 100% 1e evidence

Mu2 uses MutationClassLoaders to load and run individual program mutants within the same JVM.

Jackson evaluates → 100% 1e evidence

Mu2 is evaluated on the Jackson JSON parser benchmark.

Apache Tomcat evaluates → 100% 1e evidence

Mu2 is evaluated on the Apache Tomcat WebXML parser benchmark.

Zest depends on → 90% 1e evidence

Mu2 reuses the input mutation logic and code from Zest for its PickInput and MutateInput heuristics.