Automating the generation and sequencing of test cases from model-based specifications (1993)

by J Dick, A Faivre
Venue:In Lecture Notes in Computer Science