Review of object-oriented coupling based test case selection in model based testing | IEEE Conference Publication | IEEE Xplore