Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers

KIPS Journal D (2001 ~ 2012) , Vol. 17D, No.4, pp.297-310, April 2010
10.3745/KIPSTD.2010.17D.4.297, Full Text

Abstract

Recently, a new testing technique called concolic testing receives lots of attention. 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 only deals with integer type as input. This paper presents a new rule for automated test data generation in presence of inputs of pointer type. The rules effectively handles multi-level stack-directed pointers that are mainly used in C programs. In addition, we describe a tool named vCREST implementing the proposed rules together with the results of applying the tool to some C programs.


Statistics

Show / Hide Statistics

Statistics (Cumulative Counts from October 15, 2016)

Multiple requests among the same browser session are counted as one view. If you mouse over a chart, the values of data points will be shown.


Cite this paper

[KIPS Transactions Style]
I. S. Chung, "Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers," KIPS Journal D (2001 ~ 2012) , Vol.17D, No.4, pp.297-310, 2010, DOI: 10.3745/KIPSTD.2010.17D.4.297.

[IEEE Style]
In Sang Chung, "Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers," KIPS Journal D (2001 ~ 2012) , vol. 17D, no. 4, pp. 297-310, 2010. DOI: 10.3745/KIPSTD.2010.17D.4.297.

[ACM Style]
Chung, I. S. 2010. Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers. KIPS Journal D (2001 ~ 2012) , 17D, 4, (2010), 297-310. DOI: 10.3745/KIPSTD.2010.17D.4.297.