1992 search results - page 81 / 399 » Model Based Testing with Labelled Transition Systems |
130
click to vote
PTS
2003
15 years 3 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
TACAS
2005
Springer
15 years 8 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...
117
click to vote
HYBRID
2004
Springer
15 years 8 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
105
click to vote
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
A method for temporally integrating appearance-based body-part labelling is presented. We begin by modifying the silhouette labelling method of Ghost[4]; that system first determi...
127
click to vote
ECBS
2007
IEEE
15 years 9 months ago
2007
IEEE
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...