6293 search results - page 89 / 1259 » Information Flow Testing |
133
click to vote
IJCAI
2003
15 years 3 months ago
2003
Degrees of information and of contradiction are investigated within a uniform propositional framework, based on test actions. We consider that the degree of information of a propo...
142
click to vote
AIME
2009
Springer
15 years 6 months ago
2009
Springer
We use the concept of conditional mutual information (MI) to approach problems involving the selection of variables in the area of medical diagnosis. Computing MI requires estimate...
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper presents a technique that leverages an existing regression test-selection algorithm to compute accurate, updated coverage data on a version of the software, Pi+1, witho...
AIME
2007
Springer
15 years 8 months ago
2007
Springer
In diagnostic decision-support systems, a test-selection facility serves to select tests that are expected to yield the largest decrease in the uncertainty about a patient’s diag...
113
click to vote
ATS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a new test generation procedure for sequential circuits using newly traversed state and newly detected fault information obtained between successive iterations of vecto...