References
- Ince, D., 'The Automatic Generation of Test Data', The Computer Journal, Vol.30, No.1, pp.63-69, 1987 https://doi.org/10.1093/comjnl/30.1.63
- Weyuker, E. J.., 'Testing Non testable Programs', The Computer Journal, Vol.25, No.4, pp.465-470, 1982 https://doi.org/10.1093/comjnl/25.4.465
- Edvardsson, J., 'A Survey on Automatic Test Data Generation', In Proc. the second Conf. on computer Science and Engineering, pp.21-28, 1999
- McMinn, P., 'Search based Soft ware Test Data Genertation: A Survey', Software Testing, Verification and Reliability, Vol.14, No.2, pp.105-156, 2004 https://doi.org/10.1002/stvr.294
- Frankl, P. G. and Weyuker, E. J., 'An Applicable Family of Data Flow Testing Criteria', IEEE Trans on Software Eng., Vol.14, No.10, pp.1483-1498, 1988 https://doi.org/10.1109/32.6194
- Jackson, D., 'Alloy: A light weight object modeling Notation', Technical Report 797, MIT Lab for Computer Science, Feb., 2000
- Jackson, D., Alloy 3.0 Reference Manual, http://allov.mil.edu, 2004
- Jackson, D. and Vaziri, M., 'Finding Bugs with a Constraint Solver', In Proc. International Conf. on Software Testing and Analysis, 2000 https://doi.org/10.1145/347324.383378
- Andoni, A.. Daniliuc. D.. Khurshid, S., and MariNov, D., 'Evaluating the Small Scope Hypoththesis', Technical Report 921, MIT Lab for Computer Science, Feb., 2003
- Offutt, J., Pan, J., 'The Dynamic Domain Heduction Approach to Test Data Generation', Software Practice and Experience, Vol.29, No.2, pp.167-193, 1997
- Cytron, R. Ferrante, J., Rosen, B. K., Wegman, M. N., Zadeck, F. K., 'Efficiently Computing Static Single Assignment Form and the Control Dependence Graph', ACM Trans on Programming Languages and Systems, Vol. 13, No. 4, pp. 451-490, 1991 https://doi.org/10.1145/115372.115320
- Clarke, L. A., 'A System to Generate Test Data and Symbolic Execute Program', IEEE Trans. on Software Eng. Vol.2, No.3, pp.215-222, 1976 https://doi.org/10.1109/TSE.1976.233817
- Howden, 'Symbolic Testing and the DISSECT Symbolic Evaluation System', IEEE Trans on Software Eng., Vol.1, No.4, pp.266-2781,1977
- Gallagher, M. J. and Narasimhan, V. L. ADTEST: A Test Data Generation Suite for Ada Software Systems', IEEE Trans. on Software Eng., Vol.23, No.8, pp.473-484, 1997 https://doi.org/10.1109/32.624304
- Korel, B. 'Automated Software Test Data Generation', I EEE Trans. onSoftware Eng., Vol.16, No.8, pp.870-879, 1990 https://doi.org/10.1109/32.57624
- Roger, F., Korel, D, 'The Chaining Approach for Software Test Data Generation', ACM Trans. un Soft. Eng Methodofogy, Vol.5. No.1. pp.63-86, 1996 https://doi.org/10.1145/226155.226158
- 정인상, '자동화된 프로그램 시험을 위한 입력 자료구조의 모양 식별', 한국정보과학회 논문지, 제31권 제10호, pp.1304-1319, 2004
- 정인상, 'SGEN: 자동 프로그램 테스팅을 위한 입력 자료 구조 생성기', 한국정보과학회, 소프트웨어공학회지, 18권 4호, pp. 39-50, 2005