Future...
Algebra of Behavior Inducing Patterns
Grammar refinement:
generate(Grefined): 123 + ((34 + 5)) - 244
After fixing a failure, I want to produce numerous new inputs that
• Induces the same failure (R1)
• Covers what I just checked in (R2)
• Does not go through validation (R3)
• ...
Grefined = R1 & R2 & !R3 ...