6014 search results - page 421 / 1203 » Structural Testing with Use Cases |
192
click to vote
ICVS
2001
Springer
15 years 10 months ago
2001
Springer
In this paper a system will be presented that was developed for ESA for the support of planetary exploration. The system that is sent to the planetary surface consists of a rover a...
164
click to vote
PLDI
2012
ACM
13 years 8 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
154
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: DNA microarray technology has emerged as a major tool for exploring cancer biology and solving clinical issues. Predicting a patient's response to chemotherapy is...
124
click to vote
IGPL
1998
15 years 6 months ago
1998
Hypersequents are nite sets of ordinary sequents. We show that multiple-conclusion sequents and single-conclusion hypersequents represent two di erent natural methods of switching...
148
click to vote
SMA
1999
ACM
15 years 10 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...