Seol mar théacs é seo: Testing object-oriented software