2774 search results - page 69 / 555 » Query-Driven Program Testing |
ITC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes an Addressable Shadow Protocol device that is capable of providing connectivity between a backplane resident IEEE 1149.1 test bus master and a plurality of 11...
107
Voted
KDD
1994
ACM
15 years 6 months ago
1994
ACM
We applied TETRAD II, a causal discovery program developed in Carnegie Mellon University's Department of Philosophy, to a database containing information on 204 U.S. colleges...
111
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
When developers change a program, regression tests can fail not only due to faults in the program but also due to outof-date test code that does not reflect the desired behavior ...
129
click to vote
LANMR
2007
15 years 3 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
99
Voted
JSS
2010
15 years 17 days ago
2010
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...