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)
Download (197kB)
Preview
|
|
|
Official URL http://www.cs.kent.ac.uk/pubs/2010/3042 |
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) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):