10715 search results - page 215 / 2143 » Proofs from Tests |
161
Voted
ILP
2007
Springer
15 years 10 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
134
Voted
SAFECOMP
1999
Springer
15 years 8 months ago
1999
Springer
We present an ongoing experience aimed at introducing statistical process control techniques to one crucial test phase, namely Function Test, of a real world software development p...
138
Voted
IJCAI
2007
15 years 5 months ago
2007
Traditional classification involves building a classifier using labeled training examples from a set of predefined classes and then applying the classifier to classify test instan...
156
Voted
PTS
2007
15 years 5 months ago
2007
The interrelationship between software faults and failures is quite intricate and obtaining a meaningful characterization of it would definitely help the testing community in decid...
143
Voted
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...