7766 search results - page 221 / 1554 » Testing Nondeterminate Systems |
151
Voted
FATES
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
164
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...
148
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
103
click to vote
COMPUTING
2007
15 years 5 months ago
2007
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
138
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...