School of Computing

Hat-delta: One right does make a wrong

Thomas Davie and Olaf Chitil

In Andrew Butterfield, editor, Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05, pages 182-196. Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland, September 2005.

Abstract

We outline two heuristics for improving the localisation of bugs in programs. This is done by comparing computations of the same program with different input. At least one of these computations must produce a correct result, while exactly one must exhibit some erroneous behaviour. First, reductions that are thought highly likely to be correct are eliminated from the search for the bug. Second, a program slicing technique is used to identify areas of code that are likely to be correct. These techniques are used in combination with algorithmic debugging to create a debugger that quickly and accurately locates bugs. The implementation of a prototype system is now complete.

Download publication 553 kbytes (PDF)

Bibtex Record

@inproceedings{2368,
author = {Thomas Davie and Olaf Chitil},
title = {Hat-delta: One Right does make a Wrong},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2368},
    publication_type = {inproceedings},
    submission_id = {20394_1141215964},
    booktitle = { Draft Proceedings of the 17th International Workshop on Implementation and Application of Functional Languages, IFL 05},
    editor = {Andrew Butterfield},
    publisher = {Tech. Report No: TCD-CS-2005-60, University of Dublin, Ireland},
    refereed = {no},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014