Using model checking to generate tests from requirements specifications
Gargantini, Angelo ; Heitmeyer, Constance
Lecture notes in computer science, 1999, p.146-162
[Periódico revisado por pares]
Berlin, Heidelberg: Springer-Verlag
Texto completo disponível