Skip to content
STIMSMITH

Program Reduction

Technique
First seen 6/14/2026
Last seen 6/14/2026
Evidence 4 chunks

NEIGHBORHOOD

3 nodes · 3 edges
graph · Program Reduction · depth=1

RELATIONSHIPS

2 connections
Cascade ← implements 100% 2e
Cascade implements an automated program reduction technique to find minimal bug-triggering programs.
The paper introduces a new automated program reduction method.