Abstracting Formal Specifications to Generate Software Tests via Model Checking (1999)

by P Ammann, P E Black
Venue:Proc. 18 th Digital Avionics Systems Conference