Sciweavers

564 search results - page 4 / 113
» Generating Test Data for Functions with Pointer Inputs
Sort
View
QSIC
2003
IEEE
14 years 1 months ago
Character String Predicate Based Automatic Software Test Data Generation
A character string is an important element in programming. A problem that needs further research is how to automatically generate software test data for character strings. This pa...
Ruilian Zhao, Michael R. Lyu
GECCO
2003
Springer
148views Optimization» more  GECCO 2003»
14 years 28 days ago
Structural and Functional Sequence Test of Dynamic and State-Based Software with Evolutionary Algorithms
Evolutionary Testing (ET) has been shown to be very successful for testing real world applications [10]. The original ET approach focusesonsearching for a high coverage of the test...
André Baresel, Hartmut Pohlheim, Sadegh Sad...
ISPAN
2002
IEEE
14 years 19 days ago
On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew
KBSE
1998
IEEE
13 years 12 months ago
Automated Software Test Data Generation for Complex Programs
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
Christoph C. Michael, Gary McGraw
ISSTA
2004
ACM
14 years 1 months ago
Test input generation with java PathFinder
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
Willem Visser, Corina S. Pasareanu, Sarfraz Khursh...