Browse > Article

Goal-oriented Concolic Testing  

Chung, In-Sang (한성대학교 컴퓨터공학과)
Park, Jung-Kyu (한성대학교 컴퓨터공학과)
Publication Information
Journal of KIISE:Software and Applications / v.37, no.10, 2010 , pp. 768-772 More about this Journal
Abstract
Concolic testing generates test data by combining concrete program execution and symbolic execution to achieve high test coverage. CREST is a representative open-source test tool implementing concolic testing. Currently, however, CREST aims at exploring all possible execution paths. In case of testing a specific branch or block, thus, it can be ineffective. This paper suggests a goal-oriented concolic testing that generates test data to execute a given branch or block.
Keywords
Concolic Testing; Goal-oriented Test Data Generation; CREST;
Citations & Related Records
연도 인용수 순위
  • Reference
1 J. Edvardsson, "A Survey on Automatic Test Data Generation," In Proc. the Second Conf. on Computer Science and Engineering, pp.21-28, 1999.
2 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.
3 J. Burnim, K. Sen, "Heuristics for Dynamic Test Generation," In the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008.
4 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.
5 J. Ferrante, K. Ottenstein, and J. Warren, "The Program Dependence Graph and its Use in Optimization," ACM Trans. Softw. Eng., Methodology, vol.2, no.9, pp.319-349, 1987.
6 Z. Xu and G. Rothermel, "Directed Test Suite Augmentation," In Proc. of 16th APSEC, pp. 406-413, 2009.
7 L. Bottaci, "Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithm," In Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'02), pp.1337-1342, NY, USA, July 2002.