2302 search results - page 19 / 461 » Testing as Abstraction |
156
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
124
click to vote
VTS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Numerous machine-learning-based test methodologies have been proposed in recent years as a fast alternative to the standard functional testing of mixed-signal/RF integr...
142
click to vote
APSEC
2009
IEEE
16 years 6 days ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
168
Voted
GI
2007
Springer
15 years 11 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
130
click to vote
FORTE
2003
15 years 6 months ago
2003
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...