Using Model Checking to Generate Tests from Specifications.

Paul Ammann, Paul E. Black, William Majurski

Browse the full ICFEM paper archive.