Skip to content
STIMSMITH

Mutation Generation Scripts

CodeArtifact
First seen 8/15/2026
Last seen 8/15/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
Exploring the Parameter Space for Constrained Random Verification of RISC-V CPUs ← introduces 100% 2e
The paper introduces open-source mutation generation scripts for injecting bugs into RTL designs.
mutation testing implements → 100% 2e
The mutation generation scripts implement mutation testing by automatically generating and injecting bugs into RTL designs.
Yosys uses → 95% 1e
The mutation generation scripts use Yosys capabilities for RTL mutation.