1 |
J. Edvardsson, "A Survey on Automatic Test Data Generation," Proceedings of the Second Conf. on Computer Science and Engineering, pp.21-28, 1999.
|
2 |
P. McMinn, "Search-based Software Test Data Generation: A Surveym," Software Testing, Verification and Reliability, Vol.14, No.2, pp.105-156, 2004.
DOI
ScienceOn
|
3 |
P. Godefroid, N. Klarlund, and K. Sen, "DART: Directed automated random testing," Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, pp.213-223, 2005.
|
4 |
J. Burnim and K. Sen, "Heuristics for dynamic test generation," Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.443-446, 2008.
|
5 |
B. Korel, "Automated Software Test Data Generation," IEEE Trans. on Software Eng, Vol.16, No.8, pp.870-879, 1990.
DOI
ScienceOn
|
6 |
정인상, "실행가능 목적 코드를 기반으로 하는 자동 테스트 데이터 생성," 한국인터넷방송통신학회논문지, 제12권, 제2호, pp.189-197, 2012.
과학기술학회마을
DOI
ScienceOn
|
7 |
L. A. Clarke, "A System to Generate Test Data and Symbolically Execute Program," IEEE Trans. on Software Eng, Vol.2, No.3, pp.215-222, 1976.
DOI
|
8 |
M. J. Gallagher and V. L. Narasimhan. "ADTEST: A Test Data Generation Suite for Ada Software Systems," IEEE Trans. on Software Eng, Vol.23, No.8, pp.473-484, 1997.
DOI
ScienceOn
|
9 |
정인상, 박정규, "목적 지향 콘콜릭 테스팅", 정보과학회논문지, 제37권, 제10호, pp.768-772, 2010.
과학기술학회마을
|
10 |
정인상, "HanTestCC: C 프로그램의 자동 테스트 데이터 생성을 위한 프로그램 변환 및 탐침 도구", 한성대학교 공학연구 논문집, 5월호, 2012.
|
11 |
http://cil.sourceforge.net/
|
12 |
김윤호, 김문주, 장윤규, "CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법", 한국정보과학회 2012한국컴퓨터종합학술대회 논문집.
|