Sciweavers

2576 search results - page 141 / 516
» A case study in test management
Sort
View
CORR
2011
Springer
200views Education» more  CORR 2011»
15 years 1 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak
ICCAD
2006
IEEE
113views Hardware» more  ICCAD 2006»
16 years 3 months ago
A novel framework for faster-than-at-speed delay test considering IR-drop effects
Faster-than-at-speed test have been proposed to detect small delay defects. While these techniques increase the test frequency to reduce the positive slack of the path, they exace...
Nisar Ahmed, Mohammad Tehranipoor, Vinay Jayaram
DATE
2008
IEEE
101views Hardware» more  DATE 2008»
16 years 20 days ago
A Game-Theoretic Approach to Real-Time System Testing
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
Alexandre David, Kim Guldstrand Larsen, Shuhao Li,...
SPIN
2004
Springer
15 years 11 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
ENGL
2008
94views more  ENGL 2008»
15 years 6 months ago
Prototyping, Domain Specific Language, and Testing
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
Liguo Yu