Testing: a roadmap
The ASTOOT approach to testing object-oriented programs