6704 search results - page 88 / 1341 » Testing Scenario-Based Models |
127
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
164
click to vote
TRUSTBUS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
126
click to vote
WSC
2007
15 years 4 months ago
2007
Computer simulation is effective in improving the efficiency of manufacturing system design, operation, and maintenance. Most simulation models are usually tailored to address a n...
107
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Model-checkers are powerful tools that can find individual traces through models to satisfy desired properties. These traces provide solutions to a number of problems. Instead of...
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...