7766 search results - page 186 / 1554 » Testing Nondeterminate Systems |
100
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
254
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
118
Voted
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
Hard disk drives returned back to Seagate undergo the Field Return Incoming Test. During the test, the available logs in disk drives are collected, if possible. These logs contain...
114
Voted
ISESE
2006
IEEE
15 years 8 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
94
Voted
VTS
1999
IEEE
15 years 7 months ago
1999
IEEE
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...