Paper

Program reduction takes a program and a set of constraints and produces one of a smaller size which maintains the constraints; specifically, perses takes a program and test script, and produces a smaller program which still passes the test script. One usecase is to generate minimal reproductions for crashes.