Sciweavers

6704 search results - page 144 / 1341
» Testing Scenario-Based Models
Sort
View
LOPSTR
2009
Springer
16 years 1 months ago
Using Rewrite Strategies for Testing BUpL Agents
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
Lacramioara Astefanoaei, Frank S. de Boer, M. Birn...
ATS
2003
IEEE
87views Hardware» more  ATS 2003»
16 years 3 days ago
March SL: A Test For All Static Linked Memory Faults
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor, Mik...
PTS
2004
69views Hardware» more  PTS 2004»
15 years 8 months ago
On Testing Partially Specified IOTS through Lossless Queues
In this paper, we discuss how to test partially specified IOTS through lossless queues. A liberal assumption is made of the IOTS model by allowing both blocked and unspecified inpu...
Jiale Huo, Alexandre Petrenko
ET
1998
52views more  ET 1998»
15 years 6 months ago
Scalable Test Generators for High-Speed Datapath Circuits
This paper explores the design of efficient test sets and test-pattern generators for online BIST. The target applications are high-performance, scalable datapath circuits for whi...
Hussain Al-Asaad, John P. Hayes, Brian T. Murray
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