Sciweavers

207 search results - page 16 / 42
» Testing Transition Systems with Input and Output Testers
Sort
View
CP
2009
Springer
14 years 8 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
AUTOMATICA
2008
61views more  AUTOMATICA 2008»
13 years 7 months ago
Validity of the standard cross-correlation test for model structure validation
: The standard prediction error framework provides many theoretical results under the assumption that the true system is in the model class. An important example is the expression ...
Sippe G. Douma, Xavier Bombois, Paul M. J. Van den...
DATE
2005
IEEE
112views Hardware» more  DATE 2005»
14 years 1 months ago
Simultaneous Reduction of Dynamic and Static Power in Scan Structures
Power dissipation during test is a major challenge in testing integrated circuits. Dynamic power has been the dominant part of power dissipation in CMOS circuits, however, in futu...
Shervin Sharifi, Javid Jaffari, Mohammad Hosseinab...
ICSE
2004
IEEE-ACM
14 years 7 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
VLDB
1998
ACM
110views Database» more  VLDB 1998»
13 years 11 months ago
Massive Stochastic Testing of SQL
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
Donald R. Slutz