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

by J Dick, A Faivre
Venue:Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods