Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI technique originally developed for finding faults in physical systems. During the last years it has been shown that model-based diagnosis can be used for software debugging. In this paper we discuss the relationship between debugging using a dependency-based model and program slicing. As a result we obtain that slices of a program in a fault situation are equivalent to conflicts in model-based debugging.
Description
On the relationship between model-based debugging and program slicing
%0 Journal Article
%1 paper:wotawa:2002
%A Wotawa, Franz
%C Essex, UK
%D 2002
%I Elsevier Science Publishers Ltd.
%J Artificial Intelligence
%K debugging slicing to-read
%N 1-2
%P 125--143
%R http://dx.doi.org/10.1016/S0004-3702(01)00161-8
%T On the relationship between model-based debugging and program slicing
%U http://portal.acm.org/citation.cfm?id=506698
%V 135
%X Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI technique originally developed for finding faults in physical systems. During the last years it has been shown that model-based diagnosis can be used for software debugging. In this paper we discuss the relationship between debugging using a dependency-based model and program slicing. As a result we obtain that slices of a program in a fault situation are equivalent to conflicts in model-based debugging.
@article{paper:wotawa:2002,
abstract = {Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI technique originally developed for finding faults in physical systems. During the last years it has been shown that model-based diagnosis can be used for software debugging. In this paper we discuss the relationship between debugging using a dependency-based model and program slicing. As a result we obtain that slices of a program in a fault situation are equivalent to conflicts in model-based debugging.},
added-at = {2009-03-12T15:57:30.000+0100},
address = {Essex, UK},
author = {Wotawa, Franz},
biburl = {https://www.bibsonomy.org/bibtex/29a64ed78f4b6a864b3b76534febda8ea/mschuber},
description = {On the relationship between model-based debugging and program slicing},
doi = {http://dx.doi.org/10.1016/S0004-3702(01)00161-8},
interhash = {e0e22a12a0d6d9b68adda054b239f6dd},
intrahash = {9a64ed78f4b6a864b3b76534febda8ea},
issn = {0004-3702},
journal = {Artificial Intelligence},
keywords = {debugging slicing to-read},
number = {1-2},
pages = {125--143},
publisher = {Elsevier Science Publishers Ltd.},
timestamp = {2009-03-12T15:57:30.000+0100},
title = {On the relationship between model-based debugging and program slicing},
url = {http://portal.acm.org/citation.cfm?id=506698},
volume = 135,
year = 2002
}