QuickChecking Refactoring Tools

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


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: 29 May 2019 09:18 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/30636 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year