C-Reduce

Tool

C-Reduce is a software-testing tool cited as an example of automated failing-test-case reduction: it takes a C program that triggers a compiler bug and reduces it to a minimal bug-triggering example.

First seen 5/27/2026

Last seen 6/3/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

C-Reduce is a tool used in software testing for automated reduction of failing test cases. The cited evidence describes it as an example of a reducer that can take a program triggering a bug in a C compiler and reduce that program to a minimal example that still triggers the bug.

Role in test case shrinking

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections

Test Case Shrinking implements → 90% 1e

C-Reduce implements test case reduction for C compiler bugs.

counterexample shrinking implements → 90% 1e

C-Reduce implements automated test case reduction, analogous to counterexample shrinking.

Test Case Shrinking uses → 95% 1e

C-Reduce performs automated reduction of failing test cases for C compilers.

Randomized Testing of RISC-V CPUs using Direct Instruction Injection ← mentions 90% 1e

The paper mentions C-Reduce as a prior example of automated test case reduction.

TestRIG compares with → 75% 1e

C-Reduce is mentioned as a prior approach to automated reduction of failing test cases, which TestRIG builds upon.

Automated Test Case Reduction implements → 95% 1e

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

Smart Shrinking ← compares with 70% 1e

C-Reduce is mentioned as an analogue to the automated test-case reduction done in TestRIG via smart shrinking.

Instruction Sequence Shrinking uses → 80% 1e

C-Reduce can take a program that triggers a bug and reduce it to a minimal example.

LINKED ENTITIES

1 links

Test Case Shrinking IMPLEMENTS Extracted graph relationship

CITATIONS

2 sources

2 citations — click to collapse

[1] C-Reduce is used as an example of automated reduction of failing test cases in software testing. Randomized Testing of RISC-V CPUs using Direct

[2] C-Reduce can take a program that triggers a bug in a C compiler and reduce it to a minimal example that still triggers the bug. Randomized Testing of RISC-V CPUs using Direct