A formal specification-based approach to object-oriented software testing at the class level - Zhinong Xu (1997)