564 search results - page 37 / 113 » Generating Test Data for Functions with Pointer Inputs |
220
click to vote
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...
122
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
136
Voted
CAV
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
112
click to vote
SCIA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The availability of ground-truth flow field is crucial for quantitative evaluation of any optical flow computation method. The fidelity of test data is also important...
139
click to vote
FUIN
2008
15 years 3 months ago
2008
We study runtime distributions of subsumption testing. On graph data randomly sampled from two different generative models we observe a gradual growth of the tails of the distribut...