Conformity testing by optimal constraints for object oriented programs | IEEE Conference Publication | IEEE Xplore