Quickchecking refactoring tools

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.

[1]  John McCarthy,et al.  Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[2]  Alaa A. Kharbouch,et al.  Three models for the description of language , 1956, IRE Trans. Inf. Theory.

[3]  Konstantinos Sagonas,et al.  Automatic refactoring of Erlang programs , 2009, PPDP '09.

[4]  Huiqing Li,et al.  Testing Erlang Refactorings with QuickCheck , 2008, IFL.

[5]  Donald E. Knuth,et al.  Semantics of context-free languages , 1968, Mathematical systems theory.

[6]  Lewis Paul Sobotkiewicz,et al.  A new tool for grammar-based test case generation , 2008 .

[7]  Daniel J. Rosenkrantz,et al.  Attributed translations(Extended Abstract) , 1973, STOC.

[8]  Simon J. Thompson,et al.  Mechanical verification of refactorings , 2008, PEPM '08.

[9]  William F. Opdyke,et al.  Refactoring object-oriented frameworks , 1992 .

[10]  PaakkiJukka.  Attribute grammar paradigmsa high-level methodology in language implementation , 1995 .

[11]  Konstantinos Sagonas,et al.  Cleaning up Erlang code is a dirty job but somebody's gotta do it , 2009, Erlang Workshop.

[12]  Konstantinos Sagonas.  Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications , 2005 .

[13]  Darko Marinov,et al.  Automated testing of refactoring engines , 2007, ESEC-FSE '07.

[14]  B. J. Mailloux,et al.  Revised Report on the Algorithmic Language ALGOL 68 , 1976, SIGP.

[15]  Friedrich L. Bauer,et al.  Revised report on the algorithm language ALGOL 60 , 1963, CACM.

[16]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[17]  John Hughes,et al.  Testing telecoms software with quviq QuickCheck , 2006, ERLANG '06.