Title: Abstracting formal specifications to generate software tests via model checking
Subjects: Computer software, Specifications, Testing