1. Inductive specification recovery: Understanding software by learning from example behaviors

   • William W. Cohen

   OriginalPaper Pages: 107 - 129

2. Systematic incremental validation of reactive systems via sound scenario generalization

   • Robert J. Hall

   OriginalPaper Pages: 131 - 166

3. Process specification generation from communications service specifications

   • Akira Takura
   • Tadashi Ohta
   • Keizo Kawata

   OriginalPaper Pages: 167 - 182