6704 search results - page 79 / 1341 » Testing Scenario-Based Models |
110
click to vote
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
96
Voted
ITC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper studies some manufacturing test data collected for an experimental digital IC. Test results for a large variety of single-stuck fault based test sets are shown and comp...
121
Voted
SNPD
2008
15 years 3 months ago
2008
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
134
click to vote
ISOLA
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
120
Voted
SAC
2008
ACM
15 years 1 months ago
2008
ACM
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...