Mutation-Based Testing

Technique

First seen 6/7/2026

Last seen 6/7/2026

Evidence 3 chunks

NEIGHBORHOOD

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

5 connections

TestRIG ← implements 100% 2e

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

Mutation Adequacy uses → 95% 1e

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

Sail uses → 100% 1e

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

RTL evaluates → 80% 1e

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

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