Application to Software
Inputs and outputs are sequences of values from any set
Using generalizations of global synthesis-based approaches, we should be able to:
- Eliminate internal redundancies ("dead code")
- Generate compact "test programs" that represent (cover) all possible program behaviors