Title: Using model checking to generate tests from specifications
Subjects: Testing, Computer software