A model based program comparison test method | IEEE Conference Publication | IEEE Xplore