5608 search results - page 338 / 1122 » Structure description tools |
145
Voted
JLP
2006
15 years 5 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
128
Voted
PR
2007
15 years 4 months ago
2007
Abstract: Morphological tools can provide transformations suitable for real projective images, but the camera and objects to be analyzed have to be positioned in such a manner that...
146
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
124
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
144
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...