William W. Cohen Inductive Specification Recovery: Understanding Software by Learning from Example Behaviors. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1995, v:2, n:2, pp:107-129 [Journal]
Robert J. Hall Systematic Incremental Validation of Reactive Systems via Sound Scenario Generalization. [Citation Graph (0, 0)][DBLP] Autom. Softw. Eng., 1995, v:2, n:2, pp:131-166 [Journal]