School of Computing

QuickChecking Refactoring Tools

Daniel Drienyovszky, Daniel Horpacsi, and Simon Thompson

In Scott Lystig Fritchie and Konstantinos Sagonas, editors, Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, pages 182-196. ACM SIGPLAN, September 2010.

Abstract

Refactoring is the transformation of program source code in a way that preserves the behaviour of the program. Many tools exist for automating a number of refactoring steps, but these tools are often poorly tested. We present an automated testing framework based on QuickCheck for testing refactoring tools written for the Erlang programming language.

Download publication 117 kbytes (PDF)

Bibtex Record

@inproceedings{3042,
author = {Daniel Drienyovszky and Daniel Horpacsi and Simon Thompson},
title = {{QuickChecking Refactoring Tools}},
month = {September},
year = {2010},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2010/3042},
    publication_type = {inproceedings},
    submission_id = {27530_1284468020},
    ISBN = {978-1-4503-0253-1},
    booktitle = {Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop},
    editor = {Scott Lystig Fritchie and Konstantinos Sagonas},
    publisher = {ACM SIGPLAN},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014