197 search results - page 18 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
132
Voted
IDEAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Testing of database applications is of great importance. A significant issue in database application testing consists in the availability of representative data. In this paper we...
115
click to vote
ICCAD
1995
IEEE
15 years 4 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
COMCOM
2000
15 years 6 days ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
100
Voted
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...