21183 search results - page 426 / 4237 » Adaptive Testing by Test |
158
click to vote
DDECS
2007
IEEE
15 years 8 months ago
2007
IEEE
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...
150
click to vote
ECAI
2008
Springer
15 years 8 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...
166
click to vote
VVEIS
2004
15 years 8 months ago
2004
Because of their complexity, business transactions are prone to failure in many ways. This paper reports on our experience using a fault-based testing approach. The approach overco...
198
click to vote
SPLST
2003
15 years 8 months ago
2003
A software product line can be used to implement a software product family that is a set of software products sharing common features. A natural implementation strategy for a softw...
192
click to vote
SAM
2000
15 years 8 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...