Sciweavers

564 search results - page 2 / 113
» Generating Test Data for Functions with Pointer Inputs
Sort
View
ASE
2004
127views more  ASE 2004»
13 years 5 months ago
Precise Call Graphs for C Programs with Function Pointers
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
Ana Milanova, Atanas Rountev, Barbara G. Ryder
KBSE
2005
IEEE
13 years 11 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
SIGSOFT
2005
ACM
14 years 6 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ISSTA
2009
ACM
13 years 12 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
SCAM
2002
IEEE
13 years 10 months ago
Precise Call Graph Construction in the Presence of Function Pointers
The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory accesses thro...
Ana Milanova, Atanas Rountev, Barbara G. Ryder