197 search results - page 5 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
FATES
2004
Springer
15 years 2 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
113
Voted
ENTCS
2007
14 years 9 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
90
Voted
ICST
2009
IEEE
14 years 7 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...