Lutess: A specification-driven testing environment for synchronous software. In: (1999)

by du Bosquet, L Ouabdesselam, F Richier, J L Zuanon, N
Venue:21st International Conference on Software Engineering,