16725 search results - page 47 / 3345 » Engineering Software Correctness |
EUROSPI
2006
Springer
15 years 3 months ago
2006
Springer
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a method for performing fault localization using similar program spectra. Our method assumes the existence of a faulty run and a larger number of correct runs. It then ...