On-The-Fly Testing of Reactive Systems (2005)

by M Veanes, C Campbell, W Schulte, P Kohli