117 search results - page 9 / 24 » Automated path generation for software fault localization |
DSN
2007
IEEE
14 years 1 months ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
KBSE
2005
IEEE
14 years 1 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...
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
ICST
2008
IEEE
14 years 1 months ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
ICDM
2006
IEEE
14 years 1 months ago
2006
IEEE
Manual debugging is expensive. And the high cost has motivated extensive research on automated fault localization in both software engineering and data mining communities. Fault l...