297 search results - page 23 / 60 » Multi-paradigmatic Model-Based Testing |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
JLP
2006
13 years 7 months ago
2006
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
DSVIS
2003
Springer
14 years 29 days ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...