4192 search results - page 118 / 839 » Efficient testing of groups |
138
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
124
Voted
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...
98
Voted
PTS
2003
15 years 4 months ago
2003
Distributed test setups for efficient load, performance, scalability, interworking, and end-to-end tests are gaining importance for the assessment of distributed communicating syst...
113
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
—Many modern software systems are designed to be highly configurable so they can run on and be optimized for a wide variety of platforms and usage scenarios. Testing such systems...
130
Voted
ATS
1996
IEEE
15 years 6 months ago
1996
IEEE
A hierarchical test generation method is presented that uses the inherent hierarchical structure of the circuit under test and takes fault diagnosability into account right from t...