Towards a Framework for Differential Unit Testing of Object-Oriented Programs | IEEE Conference Publication | IEEE Xplore