Automated class testing: methods and experience | IEEE Conference Publication | IEEE Xplore