mireille@ecrc.de (Mireille Ducasse) (07/10/90)
SURVEYS:
-------
The two papers are complementary and introduce the references
which follow. The references are more detailed in the papers
but all the systems reviewed are basically mentioned here.
Any hint about missing references (besides the two already
given in the net) is welcome.
@InProceedings(ducasse88,
Author="M. Ducass\'{e} and A.-M. Emde",
Title="A Review of Automated Debugging Systems: Knowledge,
Strategies, and Techniques",
BookTitle="Proceedings of the 10th International Conference on
Software Engineering",
Pages="162-171",
Address="Singapore",
Month="April",
Year="1988")
@TechReport(ducasse89e,
Author="M. Ducass\'{e} and A.-M. Emde",
Title="A survey of automated bug location",
Institution="ECRC",
Year="1989",
Type="Technical Report",
Number="IR-LP-31-23",
Month="December")
TUTORING SYSTEMS:
----------------
@Article(ruth76,
Author="G.R. Ruth",
Title="Intelligent Program Analysis",
Journal="Artificial Intelligence",
Volume="7",
Number="1",
Pages="65-85",
Year="1976")
@Article(lukey80,
Author="F.J. Lukey",
Title="Understanding and Debugging Programs",
Journal="Int. J. Man-Machine Studies",
Volume="12",
Number="2",
Pages="189-202",
Month="February",
Year="1980"),
@Article(adam80,
Author="A. Adam and J.-P. Laurent",
Title="LAURA, A System to Debug Student Programs",
Journal="Artificial Intelligence",
Volume="15",
Number="1,2",
Pages="75-122",
Month="November",
Year="1980")
@Book(wertz87,
Author="H. Wertz",
Title="Automatic Correction and Improvement of Programs",
Publisher="Ellis Horwood",
Address="England",
Series="Artificial Intelligence, J. Campbell ed.",
Year="1987",
Annote="Translation of his PhD dissertation")
@Article(johnson85,
Author="W.L. Johnson and E. Soloway",
Title="PROUST: Knowledge-Based Program Understanding",
Journal="IEEE Transactions on Software Engineering",
Volume="SE-11",
Number="3",
Pages="267-275",
Month="March",
Year="1985")
@Article(johnson85b,
Author="W.L. Johnson and E. Soloway",
Title="PROUST",
Journal="BYTE",
Pages="179-190",
Month="April",
Year="1985")
@PhDThesis(murray86b,
Author="W.R. Murray",
Title="Automatic Program Debugging for Intelligent Tutoring Systems",
School="University of Texas, Austin",
Month="June",
Year="1986",
Note="Technical Report AI TR86-27")
@InProceedings(murray85,
Author="W.R. Murray",
Title="Heuristic and Formal Methods in Automatic Program Debugging",
BookTitle="Proceedings of the 9th IJCAI",
Pages="15-19",
Year="1985")
@InProceedings(looi88b,
Author="C-K. Looi",
Title="Analysing Novices' Programs in a {Prolog} Intelligent Teaching
System",
Organization="ECCAI",
Pages="314-319",
BookTitle="Proceedings of the European Conference on Artificial
Intelligence",
Address="Munich",
Month="August",
Year="1988")
@PhDThesis(looi88c,
Author="C-K. Looi",
Title="Automatic program analysis in a {Prolog} intelligent teaching
system",
School="University of Edinburgh",
Year="1988")
DIAGNOSTIC SYSTEMS:
------------------
@TechReport(kuper89,
Author="R.I. Kuper",
Title="Dependency-Directed localization of software bugs",
Institution="MIT",
Year="1989",
Type="Technical report",
Number="1053",
Month="May")
@Article(weiser82,
Author="M. Weiser",
Title="Programmers Use Slices When Debugging",
Journal="Communications of the ACM",
Volume="25",
Number="7",
Pages="446-452",
Month="July",
Year="1982")
@InProceedings(lyle87,
Author="J.R. Lyle and M. Weiser",
Title="Automatic Program Bug Location by Program Slicing",
BookTitle="The Second International Conference on Computers and
Applications",
Address="Peking",
Month="June",
Year="1987",
Annote="system Focus")
@Article(leung87,
Author="H.K.N. Leung and H.K. Reghbati",
Title="Comments on Program Slicing",
Journal="IEEE Transactions on Software Engineering",
Volume="SE-13",
Number="12",
Pages="1370-1371",
Month="December",
Year="1987")
@InProceedings(korel88,
Author="B. Korel and J. Laski",
Title="{STAD} - A system for Testing and Debugging: User Perspective",
BookTitle="Proceedings of the Second Workshop on Software Testing,
Verification and Analysis",
Pages="13-20",
Month="July",
Year="1988")
@Book(shapiro83,
Author="E.Y. Shapiro",
Title="Algorithmic Program Debugging",
Publisher="MIT Press",
Address="Cambridge, MA",
Year="1983")
@Article(lloyd87,
Author="J.W. Lloyd",
Title="Declarative Error Diagnosis",
Journal="New Generation Computing",
Number="5",
Pages="133-154",
Year="1987")
@Article(ferrand87,
Author="G. Ferrand",
Title="Error Diagnosis in Logic Programming, an Adaptation of {E.Y.
Shapiro's} Method",
Journal="Journal of Logic Programming",
Volume=" ",
Number="4",
Pages="177-198",
Month=" ",
Year="1987")
@InProceedings(eisenstadt87b,
Author="M. Eisenstadt and M. Brayshaw",
Title="Graphical Debugging with the {Transparent Prolog
Machine (TPM)}",
BookTitle="Proceedings of the 10th IJCAI",
Address="Milan",
Pages="83-86",
Month="August",
Year="1987")
@InProceedings(brayshaw88,
Author="M. Brayshaw and M. Eisenstadt",
Title="Adding Data and Procedure Abstraction to the {Transparent
Prolog Machine (TPM)}",
BookTitle="Proceedings of 5th Int. Conference and Symposium on Logic
Programming",
Address="Seattle",
Pages="532-547",
Month="August",
Year="1988")
@PhDThesis(ledoux85b,
Author="C.H. LeDoux",
Title="A knowledge-based system for debugging concurrent software",
School="University of California",
Year="1985",
Address="Los Angeles")
@InProceedings(emde90b,
Author="A-M. Emde and M. Ducass\'{e}",
Title="Automated debugging of non-terminating {Prolog} programs",
BookTitle="Proceedings of the Workshop on Logic Programming
Environments at ICLP'90",
Year="1990",
Month="June",
Note="Extended abstract",
Annote= "A complete version is available upon request")
@InProceedings(ducasse88f,
Author="M. Ducass\'{e}",
Title="{Opium+}, a Meta-debugger for {Prolog}",
Pages="272-277",
Organization="ECCAI",
BookTitle="Proceedings of the European Conference on Artificial
Intelligence",
Address="Munich",
Month="August",
Year="1988")
@InProceedings(pereira86,
Author="L.M. Pereira",
Title="Rational Debugging in Logic Programming",
BookTitle="3rd Logic Programming Conference",
Address="London",
Pages="203-210",
Month="July",
Year="1986")
@inproceedings(pereira88,
Author="L.M. Pereira and M. Calejo",
Title="A Framework for {Prolog} Debugging",
BookTitle="Proceedings of 5th Int. Conference and Symposium on Logic
Programming",
Address="Seattle",
Month="August",
Year="1988")
@InProceedings(drabent88,
Author="W. Drabent and S. Nadjm-Tehrani and J. Maluszynski",
Title="Algorithmic Debugging with Assertions",
Organization="META 88",
BookTitle="Proc. of Workshop on Meta-Programming in Logic Programming",
Address="Bristol",
Month="June",
Year="1988")
@TechReport(agrawal88,
Author="H. Agrawal and R. A. DeMillo and E.H. Spafford",
Title="A process state model to relate testing and debugging",
Institution="Software Engineering Research Center, Purdue University",
Number="SERC-TR-27-P",
Month="September",
Year="1988")
------------------------------------------------------------------------------
Mireille Ducasse
c/o ECRC (European Computer-Industry Research Center)
Arabellastr. 17
D-8000 Munich 81
FRG
email: mireille@ecrc.de
phone: +49 89 926 99 142
fax: +49 89 926 99 170
Tx : 5216910