QuickChecking Refactoring Tools

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Fritchie, Scott Lystig and Sagonas, Konstantinos, eds. Erlang�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop. ACM SIGPLAN pp. 182-196. ISBN 978-1-4503-0253-1. (Full text available)

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:	Conference or workshop item (UNSPECIFIED)
Uncontrolled keywords:	determinacy analysis, Craig interpolants
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User:	Simon Thompson
Date Deposited:	21 Sep 2012 09:49 UTC
Last Modified:	22 Aug 2014 15:56 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/30636 (The current URI for this page, for reference purposes)