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


The KIPS Transactions:PartD, Vol. 17, No. 4, pp. 297-310, Aug. 2010
10.3745/KIPSTD.2010.17.4.297,   PDF Download:

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 September 1st, 2017)
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 article
[IEEE Style]
I. S. Chung, "Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers," The KIPS Transactions:PartD, vol. 17, no. 4, pp. 297-310, 2010. DOI: 10.3745/KIPSTD.2010.17.4.297.

[ACM Style]
In Sang Chung. 2010. Automated Test Data Generation for Testing Programs with Multi-Level Stack-directed Pointers. The KIPS Transactions:PartD, 17, 4, (2010), 297-310. DOI: 10.3745/KIPSTD.2010.17.4.297.