Huiqun Zhao, Lei Li. Research on generation of testing data in hybrid method of model checking and testing. In 2014 IEEE/ACIS 13th International Conference on Computer and Information Science, ICIS 2014, Taiyuan, China, June 4-6, 2014. pages 375-378, IEEE, 2014. [doi]
Abstract is missing.