Application to Software
Application to Software
Software Module
Internal
State
Input(s)
Output(s)
m Inputs and outputs are sequences of values from any set
m 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