6014 search results - page 121 / 1203 » Structural Testing with Use Cases |
115
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents Jartege, a tool which allows random generation of unit tests for Java classes specified in JML. JML (Java Modeling Language) is a specification language for Ja...
130
Voted
ATS
1996
IEEE
15 years 6 months ago
1996
IEEE
A hierarchical test generation method is presented that uses the inherent hierarchical structure of the circuit under test and takes fault diagnosability into account right from t...
125
click to vote
ECIS
2003
15 years 3 months ago
2003
Theories of inter-organisational co-ordination propose that information processing capabilities (structure, process and technology) must be aligned with information processing nee...
AUTOMATICA
2006
15 years 2 months ago
2006
Given a number of possibly concurrent faults (and disturbances) that may affect a nonlinear dynamic system, it may not be possible to solve the standard fault detection and isolat...
118
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— We introduce the Oracular Partially Observable Markov Decision Process (OPOMDP), a type of POMDP in which the world produces no observations; instead there is an “oracle,” ...