Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Attributed translations(Extended Abstract)
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
Refactoring object-oriented frameworks
Refactoring object-oriented frameworks
Testing telecoms software with quviq QuickCheck
Proceedings of the 2006 ACM SIGPLAN workshop on Erlang
Automated testing of refactoring engines
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Mechanical verification of refactorings
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Testing Erlang Refactorings with QuickCheck
Implementation and Application of Functional Languages
Cleaning up Erlang code is a dirty job but somebody's gotta do it
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
Automatic refactoring of Erlang programs
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Testing an optimising compiler by generating random lambda terms
Proceedings of the 6th International Workshop on Automation of Software Test
Hi-index | 0.00 |
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.