PINS: Path-based Inductive Synthesis
PINS is a testing-inspired approach to program synthesis. Instead of attempting to reason about the program under all environment conditions (which is hard), it instead reasons about a small set of carefully chosen paths (which is much simpler) exactly like in testing.
We have applied PINS to automatically invert programs.
PINS is part of the VS3 project.
Path-based Inductive Synthesis for Program Inversion
Jeffrey S. Foster