Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization.

Robert J. Hall Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. 131-166 1995 2 Autom. Softw. Eng. 2 db/journals/ase/ase2.html#Hall95a