Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: ErlangÂ�10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
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 > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group|
|Depositing User:||Simon Thompson|
|Date Deposited:||21 Sep 2012 09:49|
|Last Modified:||21 Sep 2012 09:49|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/30636 (The current URI for this page, for reference purposes)|
- Depositors only (login required):