7A Jefferson Offutt, Shaoying Liu. Generating testing data from SOFL specification[J]. The Journal of Systems and Software, 1999,49(1):49-62.
8JEFF OFFUTT, SHAOYING LIU, AYNUR ABDURAZIK, et al. Generating Test Data from State-based Specifications[J]. The Journal of Software Testing, Verification and Reliability, 2003,13(1):25-53.
9ATIF M MEMON, MARTHA E POLLACK, MARY LOU SOFFA. Using a goal-driven approach to generate test cases for GUIs[C]//Proceedings of the 21st International Conference on Software Engineering, Los Alamitos, CA, USA, 1999:257-266.