Mutation-Based Testing

Technique

First seen 6/7/2026

Last seen 8/9/2026

Evidence 9 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

7 connections

SearchSYS ← implements 100% 2e

SearchSYS applies mutation-based testing via custom mutation operators on binaries and their arguments.

TestRIG ← implements 100% 2e

TestRIG includes mutation-based coverage tooling to measure the effectiveness of verification engines.

Sail uses → 100% 1e

Mutation-based testing introduces artificial bugs into the Sail model to measure test adequacy.

The paper discusses mutation-based coverage tooling as a new improvement.

AFL ← implements 100% 1e

AFL++ uses mutation-based testing to generate new test inputs.

RTL evaluates → 80% 1e

The mutation framework could be adapted to allow mutations to the RTL of a particular implementation.

Mutation Adequacy uses → 95% 1e

The mutation-based testing approach measures mutation adequacy of the TestRIG generators.