1992 search results - page 81 / 399 » Model Based Testing with Labelled Transition Systems |
177
click to vote
PTS
2003
15 years 7 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...
144
click to vote
TACAS
2005
Springer
15 years 11 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...
163
click to vote
HYBRID
2004
Springer
15 years 11 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...
146
click to vote
CVPR
2001
IEEE
16 years 8 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...
182
click to vote
ECBS
2007
IEEE
16 years 15 days 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...