참고문헌
- P. Godefroid, N. Klarlund, and K. Sen. “DART: Directed automated random testing,” In Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI), 2005.
- J. Clarke, J. Dolado,, M. Harman,, R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd, “Reformulating Software Engineering as a Search Problem,” IEE Proceedings-Software, Vol.5, No.1, pp.161-175, 2003. https://doi.org/10.1049/ip-sen:20030559
- J. Edvardsson,, “A Survey on Automatic Test Data Generation,” In Proc. the Second Conf. on Computer Science and Engineering, pp.21-28, 1999.
- J. Burnim, K. Sen, “Heuristics for Dynamic Test Generation,” In the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
- I. S. Chung and J. M. Bieman, “Generating Input Data Structures for Automated Program Testing,” Software Testing, Verification and Reliability, Vol.19, No.1, pp.3-36, 2009. https://doi.org/10.1002/stvr.388
- B. Korel, “Automated Software Test Data Generation,” IEEE Trans. on Software Eng, Vol.16. No.8. pp.870-879, 1990. https://doi.org/10.1109/32.57624
- S.Visvanathan and N. Gupta., “Generating Test Data for Functions with Pointer Inputs”, n Proc. the 17th IEEE International Conf. Automated Soft. Eng., pp.149-160, 2002.
- C. Lapkowski, and L. J. Hendren, “Extended SSA Numbering: Introducing SSA properties to Languages with Multi-level Pointers,” ACAPS Tecnical Memo 102. School of Computer Science. McGill Univ. Canada. 1996.
- A. Gotlieb, T. Denmat, and B. Botella, “Goal-oriented Test Data Generation for Pointer Programs,” Information and Software Technology, Vol.49, Issues 9-10, pp.1030-1044, 2007. https://doi.org/10.1016/j.infsof.2006.10.016
- A. J. Offutt, Z. Jin, and J. Pan:, “The Dynamic Domain Reduction Procedure for Test Data Generation.” Softw., Pract. Exper. Vol.29, No.2, pp.167-193, 1999. https://doi.org/10.1002/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V
- C. Meudec, “ATGen:Automatic Test Data generation using Constraint Logic Programming and Symbolic Execution,” In Proc. IEEE/ACM Int. Workshop on Automated Program Analysis Testing and Verfication. pp.22-31, 2000.
- F. Roger and B. Korel, “The Chaining Approach for Software Test Data Generation,” ACM Trans. on Soft. Eng. Methodology, Vol.5. No.1. pp.63-86, 1996. https://doi.org/10.1145/226155.226158
- C. C. Michael and G. McGraw, “Automated Software Test Data Generation for Complex Programs,” In proceedings of 13th International conference on Automated Software Engineering, pp.136-146, 1998.
- M. J. Gallagher and V. L. 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
- R. P. Pargas, M. J. Harrold, and R. R. Peck. “Test Data Generation using Genetic Algorithms". Software Testing, Verification and Reliability 9, 263-282, 1999. https://doi.org/10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
- G. C. Necula, S. McPeak, S. P. Rahul, and W. Weimer, “CIL: Intermediate Language and Tools for Analysis and transformation of C Programs.” In Proc. of Conference on compiler Construction, pp.213-228, 2002.
- P. Ammann and J. Offutt, Introduction to Software Testing, Cambridge University Press, Cambridge, UK, ISBN 0-52188-038-1, 2008.
- K. Sen, D. Marinov, and G. Agha, “CUTE: A Concolic Unit Testing Engine for C,” In Proc. of ESEC-FSE, pp.263-272, 2005. https://doi.org/10.1145/1081706.1081750