Testing object-oriented software (abstract)