1554 search results - page 90 / 311 » Testing Polymorphic Behavior |
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Hard disk drives returned back to Seagate undergo the Field Return Incoming Test. During the test, the available logs in disk drives are collected, if possible. These logs contain...
ISSRE
2006
IEEE
14 years 2 months ago
2006
IEEE
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
TSE
2011
13 years 3 months ago
2011
—Event-Driven Software (EDS) can change state based on incoming events; common examples are GUI and web applications. These EDS pose a challenge to testing because there are a la...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
DSN
2005
IEEE
14 years 1 months ago
2005
IEEE
View-oriented group communication is an important and widely used building block for constructing highlyavailable fault-tolerant systems. Unfortunately, groupcommunication based s...