A Theory of Testing for Real-Time

Rance Cleaveland, Amy E. Zwarico

Browse the full LICS paper archive.