3031 search results - page 34 / 607 » Model Driven Testing Based on Test History |
89
Voted
FASE
2007
Springer
15 years 6 months ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
135
click to vote
LICS
2002
IEEE
15 years 5 months ago
2002
IEEE
istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...
120
Voted
CEC
2009
IEEE
15 years 3 months ago
2009
IEEE
In evolutionary robotics, controllers are often designed in simulation, then transferred onto the real system. Nevertheless, when no accurate model is available, controller transfe...
81
Voted
TVLSI
2008
15 years 10 days ago
2008
The proposed work involves conversion of a given circuit model into a set of constraints and employing constraint solvers to generate tests for it. The method is demonstrated for ...
FATES
2003
Springer
15 years 5 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...