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. This result helps us to compute diagnosis faster and gives more information about possible bugs in certain situations. Thus the result is of importance both for the slicing and the model-based diagnosis and debugging community.
Franz Wotawa received a M.Sc. in Computer Science (1994) and a PhD in 1996 both from the Technical University Vienna. He is currently a professor of software engineering at the Technical University Graz. His research interests include model-based and qualitative reasoning, configuration, planning, theorem proving, intelligent agents, and software engineering. Currently, Franz Wotawa works on applying model-based diagnosis to software debugging. He has written many papers for journals, conferences, and workshops, was member of program committees for workshops and conferences, and organized a special issue on model-based reasoning for the AI Communications. He is a member of the IEEE Computer Society, ACM, AAAI, and the Austrian Society for Artificial Intelligence.
Sprecher: Univ.Prof. DI Dr. Franz Wotawa Technische Universität Graz IICM Softwaretechnologie Wann: Montag, 16. Dezember 2002, 17:00 Uhr (s.t.) Wo: SR-E 2.42, Universität Klagenfurt