4Tracey N J. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Software: [PhD thesis]. Department of Computer Science, University of York, 2000.
5Korel B, Al-Yami A M. Assertion-Oriented Automated Test Data Generation. In: Proceedings of the 18^th International Conference on Software Engineering,Berlin:1996. 71-80.
6Korel B, Al-Yami A M. Automated Regression Test Generation. In: Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Beach:1998. 143-152.
7Weyuker E J. The Applicability of Program Schema Results to Programs. International Journal of Computer Information Sciences, 1979, 8(5): 387-403.
8Ramanmoorthy C V, Ho S-B F, Chen W T. On the Automated Generation of Program Test Data. IEEE Transactions on Software Engineering, 1976, SE-2 (4): 293-300.
9Kung D, Suchak N, Gao J, et al. On Object State Testing. In: Proceedings of COMPSAC'94, 1994. 222-227.
10Goodenough J B, Gerhart S L. Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering, 1975, SE-3 (6): 156-173.
