180 search results - page 27 / 36 » Locating causes of program failures |
ICSM
2009
IEEE
13 years 5 months ago
2009
IEEE
We previously presented a fault localization technique called Value Replacement that repeatedly alters the state of an executing program to locate a faulty statement [9]. The tech...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
Software development teams exchange source code in shared repositories. These repositories are kept consistent by having developers follow a commit policy, such as "Program e...
ICSM
1997
IEEE
13 years 11 months ago
1997
IEEE
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
IJCAI
1989
13 years 8 months ago
1989
This paper highlights a phenomenon that causes deductively learned knowledge to be harmful when used for problem solving. The problem occurs when deductive problem solvers encount...