A Theory of Specification-Based Testing for Object-Oriented Software.

Stphane Barbey, Didier Buchs, Ccile Praire

Browse the full EDCC paper archive.