2127 search results - page 12 / 426 » Software Automation |
114
click to vote
CADE
2004
Springer
16 years 22 days ago
2004
Springer
Abstract. We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof ...
100
Voted
FLAIRS
2007
15 years 2 months ago
2007
Many software applications consist of a number of interdependent steps and are executed under the supervision of a human administrator or operator. The administrator responds to e...
93
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
204
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
94
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...