2317 search results - page 89 / 464 » Model based testing for agent systems |
142
click to vote
JIPS
2010
14 years 10 months ago
2010
Test scenarios can be derived based on some system models for requirements validation purposes. Model-based test suite reduction aims to provide a smaller set of test scenarios whi...
123
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
115
Voted
AAAI
2006
15 years 4 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...
155
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
147
click to vote
AOSE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...