Automated Test Case Reduction

Technique

First seen 6/3/2026

Last seen 6/3/2026

Evidence 2 chunks

NEIGHBORHOOD

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

2 connections

C-Reduce ← implements 95% 1e

C-Reduce is a tool for automatically reducing failing test cases for C compiler bugs.

PyH2P ← implements 95% 1e

PyH2P applies automated test case reduction to randomly generated RISC-V instruction sequences.