1992 search results - page 51 / 399 » Model Based Testing with Labelled Transition Systems |
117
Voted
HASE
2007
IEEE
15 years 6 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
99
Voted
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— We seek to develop vision-based autonomy for small-scale aircraft known as Micro Air Vehicles (MAVs). Development of such autonomy presents signiÞcant challenges, in no small ...
129
click to vote
QEST
2009
IEEE
15 years 9 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
116
click to vote
PTS
2007
15 years 3 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
105
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...