3428 search results - page 89 / 686 » Making the Case |
CACM
2010
14 years 10 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...
153
click to vote
ICST
2011
IEEE
14 years 2 months ago
2011
IEEE
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
DKE
2008
14 years 10 months ago
2008
Knowledge validation, as part of knowledge base verification and validation is a critical process in knowledge engineering. The ultimate goal of this process is to make the knowle...
APCSAC
2004
IEEE
15 years 2 months ago
2004
IEEE
Device drivers are a significant source of system instability. In this paper, we make the case for running device drivers at user-level to improve robustness and resource managemen...
EUC
2005
Springer
15 years 4 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...