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


Vol. 17,  No. 4, pp. 297-310, Aug.  2010
10.3745/KIPSTD.2010.17.4.297


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals