712 search results - page 49 / 143 » Software debugging, testing, and verification |
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
FTCS
1998
13 years 11 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
AUTONOMICS
2008
ACM
14 years 4 days ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
AADEBUG
2005
Springer
14 years 3 months ago
2005
Springer
AMPLE locates likely failure-causing classes by comparing method call sequences of passing and failing runs. A difference in method call sequences, such as multiple deallocation ...