SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models | IEEE Conference Publication | IEEE Xplore