Title :
IPEG: Utilizing Infeasibility
Author :
Delahaye, Mickaël
Author_Institution :
LIFO, Univ. of Orleans, Orleans, France
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;
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
DOI :
10.1109/ICSTW.2011.91
