Current studentsExisting staffContact us
 

Comparing two models for software debugging

Simple item page
dc.contributor.authorStumptner, M.
dc.contributor.authorWieland, D.
dc.contributor.authorWotawa, F.
dc.contributor.conferenceJoint 24th German / 9th Austrian Conference on Artificial Intelligence (KI-2001) (19 Sep 2001 : Vienna, Austria)
dc.contributor.editorBaader, F.
dc.contributor.editorBrewka, G.
dc.contributor.editorEiter, T.
dc.date.issued2001
dc.description.abstractThis paper extends previous work on the representation and analysis of Java programs for diagnosis in a new direction by providing a description and analysis of the issues arising from handling object references in dependency-based models of Java programs. We empirically compare dependency-based models with a value-based model using a set of example programs in terms of required user interaction (questions put to the user) and examine and incorporate specific interesting error categories. Apart from being based on experience with an actual implementation of the various models, the model extensions and analysis deal with aliasing, an issue that the programming language community has been examining for a long time, and that is also crucial to object-orientedness.
dc.identifier.citationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001 / Baader, F., Brewka, G., Eiter, T. (ed./s), vol.2174, pp.351-365
dc.identifier.doi10.1007/3-540-45422-5_25
dc.identifier.isbn9783540426127
dc.identifier.issn0302-9743
dc.identifier.issn1611-3349
dc.identifier.urihttps://hdl.handle.net/1959.8/130183
dc.language.isoen
dc.publisherSpringer Berlin / Heidelberg
dc.publisher.placeGermany
dc.source.urihttps://doi.org/10.1007/3-540-45422-5
dc.titleComparing two models for software debugging
dc.typeConference paper
pubs.publication-statusPublished
ror.mmsid9915912958001831

Files

Collections