147 search results - page 7 / 30 » Test Input Generation for Programs with Pointers |
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
QSIC
2003
IEEE
14 years 1 months ago
2003
IEEE
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...