1992 search results - page 165 / 399 » Model Based Testing with Labelled Transition Systems |
167
click to vote
IJISTA
2007
15 years 6 months ago
2007
: Genetic Programming (GP), a heuristic optimisation technique based on the theory of Genetic Algorithms (GAs), is a method successfully used to identify non-linear model structure...
197
click to vote
SGAI
2010
Springer
15 years 1 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
198
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
163
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
179
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. We introduce an extended computational framework for studying biological systems. Our approach combines formalization of existing qualitative models that are in wide but ...