Skip to main content

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)

PDF
Language: English
Download (197kB) Preview
[thumbnail of content.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
http://dx.doi.org/10.1145/1863509.1863521

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 Feb 2021 12:41 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30636 (The current URI for this page, for reference purposes)
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):