3281 search results - page 46 / 657 » An Approach to use Executable Models for Testing |
108
Voted
RTAS
1997
IEEE
15 years 4 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
129
Voted
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
73
Voted
USENIX
2008
15 years 2 months ago
2008
We present a novel method for diagnosing configuration management errors. Our proposed approach deduces the state of a buggy computer by running predicates that test system correc...
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
– An instruction set level reference model was developed for the development of synergistic processing unit (SPU) , which is one of the key components of the cell processor [1][2...
114
Voted
DCOSS
2011
Springer
14 years 10 days ago
2011
Springer
—Wireless sensor networks are increasingly being used to improve business processes. The behavior of such a process is usually captured in models while its implementation is typi...