Skip to main content
Kent Academic Repository

Quickchecking Refactoring Tools

Drienyovszky, Dániel and Horpacsi, Dániel and Thompson, Simon (2010) Quickchecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Proceedings of the 9th ACM SIGPLAN workshop on Erlang. ACM, New York, USA, pp. 182-196. ISBN 978-1-4503-0253-1. (doi:10.1145/1863509.1863521) (KAR id:30636)

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.

Item Type: Book section
DOI/Identification number: 10.1145/1863509.1863521
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: S. Thompson
Date Deposited: 21 Sep 2012 09:49 UTC
Last Modified: 16 Nov 2021 10:08 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30636 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.