Research on generation of testing data in hybrid method of model checking and testing | IEEE Conference Publication | IEEE Xplore