1660 search results - page 18 / 332 » A Behavior Model for Next Generation Test Systems |
130
Voted
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
114
Voted
ENTCS
2007
15 years 3 months ago
2007
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker co...
134
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
142
Voted
ICAC
2008
IEEE
15 years 10 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
131
Voted
ACRI
2008
Springer
15 years 10 months ago
2008
Springer
This paper presents a research in the context of pedestrian dynamics according to Situated Cellular Agent (SCA), a Multi-Agent Systems approach whose roots are on Cellular Automata...