29 search results - page 2 / 6 » Goal-Oriented Test Data Generation for Programs with Pointer... |
ISPAN
2002
IEEE
13 years 11 months ago
2002
IEEE
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...
APLAS
2007
ACM
13 years 10 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
CAV
2007
Springer
14 years 7 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
QSIC
2003
IEEE
13 years 11 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...
FLOPS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We present a lightweight, automated tool for specificationbased testing of declarative programs written in the functional logic programming language Curry and emphasize t...