BATOOM: a practical approach to testing object-oriented software | IEEE Conference Publication | IEEE Xplore