Sciweavers

4930 search results - page 130 / 986
» Testing a Safety-Critical Application
Sort
View
AIME
2007
Springer
16 years 18 days ago
Enhancing Automated Test Selection in Probabilistic Networks
Abstract. Most test-selection algorithms currently in use with probabilistic networks select variables myopically, that is, test variables are selected sequentially, on a one-by-on...
Danielle Sent, Linda C. van der Gaag
ICSEA
2006
IEEE
16 years 14 days ago
A Partition-Based Approach for XPath Testing
—The XML language is becoming the preferred means of data interchange and representation in web based applications. Usually, XML data is stored in XML repositories, which can be ...
Claudio de la Riva, José García-Fanj...
SAINT
2003
IEEE
15 years 11 months ago
Problems and Tentative solutions in InternetCAR testing with IPv6
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
Keisuke Uehara, Hideki Sunahara, Jun Murai
DFT
1997
IEEE
108views VLSI» more  DFT 1997»
15 years 10 months ago
Generation and Verification of Tests for Analogue Circuits Subject to Process Parameter Deviations
The paper presents a test pattern generation and fault simulation methodology for the detection of catastrophic faults in analogue circuits. The test methodology chosen for evalua...
Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, Ma...
AAAI
2010
15 years 7 months ago
Dominance Testing via Model Checking
Dominance testing, the problem of determining whether an outcome is preferred over another, is of fundamental importance in many applications. Hence, there is a need for algorithm...
Ganesh Ram Santhanam, Samik Basu, Vasant Honavar