6704 search results - page 89 / 1341 » Testing Scenario-Based Models |
109
click to vote
ICECCS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
130
click to vote
ENGL
2008
15 years 2 months ago
2008
Prototyping is a technique widely used in many engineering fields. However, in software engineering, its usage is limited to requirement elicitation. Little research has been done ...
120
click to vote
GLVLSI
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
119
Voted
JDCTA
2010
14 years 9 months ago
2010
Performance indexes of the embedded real-time operating system are not isolated but interacting with each other. Two sets of elements aiming to describe the relationship between t...
104
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...