DocumentCode
626364
Title
A Late Treatment of C Precondition in Dynamic Symbolic Execution
Author
Delahaye, Mickael ; Kosmatov, Nikolai
Author_Institution
LIG, Univ. Grenoble-Alpes, Grenoble, France
fYear
2013
fDate
18-22 March 2013
Firstpage
230
Lastpage
231
Abstract
Relevance of automatically generated test cases depends on an appropriate definition of a test context, or precondition. This paper presents a novel method for handling a precondition in dynamic symbolic execution (DSE) testing tools. This method allows PathCrawler, a DSE tool for C programs, to accept a precondition defined as a C function. It provides a simple way to express a precondition even for developers who are not familiar with specification formalisms. It has also proven useful when combining static and dynamic analysis.
Keywords
C language; program diagnostics; program testing; C function; C precondition; C program; DSE testing tool; PathCrawler; dynamic analysis; dynamic symbolic execution; static analysis; Conferences; Context; Educational institutions; Electronic mail; Java; Software testing; concolic testing; dynamic symbolic execution; executable preconditions; test input generation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
Conference_Location
Luxembourg
Print_ISBN
978-1-4799-1324-4
Type
conf
DOI
10.1109/ICSTW.2013.34
Filename
6571636
Link To Document