Program Reduction
TechniqueFirst seen 6/14/2026
Last seen 6/14/2026
Evidence 4 chunks
NEIGHBORHOOD
3 nodes · 3 edgesgraph · Program Reduction · depth=1
RELATIONSHIPS
2 connectionsCascade implements an automated program reduction technique to find minimal bug-triggering programs.
The paper introduces a new automated program reduction method.