A framework for specification-based class testing | IEEE Conference Publication | IEEE Xplore