Using Model Checking to Generate Tests from Specifications.

Paul Ammann Paul E. Black William Majurski Using Model Checking to Generate Tests from Specifications. 46- 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980046abs.htm db/conf/icfem/icfem1998.html#AmmannBM98