1721 search results - page 38 / 345 » On Active and Passive Testing |
JOT
2010
14 years 8 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
EJIS
2006
14 years 9 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
ECAL
2001
Springer
15 years 2 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...
GLVLSI
2008
IEEE
15 years 4 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...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper we analyze the test power of SRAM memories and demonstrate that the full functional precharge activity is not necessary during test mode because of the predictable a...