4299 search results - page 234 / 860 » Concurrent Test Generation |
110
click to vote
QSIC
2003
IEEE
15 years 9 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...
118
click to vote
ECAL
2001
Springer
15 years 8 months ago
2001
Springer
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...
132
click to vote
EH
2000
IEEE
15 years 8 months ago
2000
IEEE
How do we know the correctness of an evolved circuit? While Evolutionary Hardware is exhibiting its effectiveness, we argue that it is very difficult to design a large-scale digit...
124
click to vote
FATES
2006
Springer
15 years 7 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
103
click to vote
COMCOM
1999
15 years 3 months ago
1999
If a test does not produce the expected output, the incorrect output may have been caused by an earlier state transfer failure. Ghedamsi and von Bochmann [1992] and Ghedamsi et al...