Sciweavers

1419 search results - page 39 / 284
» Power Droop Testing
Sort
View
PTS
2007
102views Hardware» more  PTS 2007»
13 years 11 months ago
Testing and Model-Checking Techniques for Diagnosis
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
Maxim Gromov, Tim A. C. Willemse
ENTCS
2007
108views more  ENTCS 2007»
13 years 9 months ago
Remarks on Testing Probabilistic Processes
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy,...
ITC
1999
IEEE
103views Hardware» more  ITC 1999»
14 years 2 months ago
Resistive bridge fault modeling, simulation and test generation
Resistive bridging faults in combinational CMOS circuits are studied in this work. Circuit-level models are ed to voltage behavior for use in voltage-level fault simulation and te...
Vijay R. Sar-Dessai, D. M. H. Walker
LOPSTR
2009
Springer
14 years 2 months ago
Towards a Framework for Constraint-Based Test Case Generation
In this paper, we propose an approach for automated test case generation based on techniques from constraint programming (CP). We advocate the use of standard CP search strategies ...
François Degrave, Tom Schrijvers, Wim Vanho...
EOR
2002
71views more  EOR 2002»
13 years 9 months ago
Non-parametric tests of returns to scale
This paper discusses various statistics for testing hypotheses regarding returns to scale in the context of non-parametric models of technical efficiency. In addition, the paper p...
Léopold Simar, Paul W. Wilson