A model-based regression test selection technique | IEEE Conference Publication | IEEE Xplore