Specification-based class testing with ClassBench | IEEE Conference Publication | IEEE Xplore