29 search results - page 1 / 6 » Goal-Oriented Test Data Generation for Programs with Pointer... |
COMPSAC
2005
IEEE
13 years 10 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
QSIC
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
KBSE
2002
IEEE
13 years 9 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
GECCO
2008
Springer
13 years 5 months ago
2008
Springer
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...