DocumentCode
2302868
Title
IPEG: Utilizing Infeasibility
Author
Delahaye, Mickaël
Author_Institution
LIFO, Univ. of Orleans, Orleans, France
fYear
2011
fDate
21-25 March 2011
Firstpage
318
Lastpage
319
Abstract
Infeasible paths are an hindrance to path-oriented test input generators. IPEG is a tool that takes a C program, and such an infeasible path of the program as input, and infers a possibly infinite family of infeasible paths. This paper gives a short description of the tool and the technique behind it.
Keywords
program testing; C program; IPEG; infeasible path; path-oriented test input generator; Aggregates; Automata; Buildings; Generators; Logic gates; Software testing; Dynamic symbolic execution; test data generation; tool presentation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on
Conference_Location
Berlin
Print_ISBN
978-1-4577-0019-4
Electronic_ISBN
978-0-7695-4345-1
Type
conf
DOI
10.1109/ICSTW.2011.91
Filename
5954427
Link To Document