QuickChecking refactoring tools

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2010, Pages 75-80

  Drienyovszky, Dániel ^a   Horpácsi, Dániel ^a   Thompson, Simon ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

Attribute grammar; Erlang; Property; QuickCheck; Random program generation; RefactorErl; Refactoring; Wrangler; Yecc

Indexed keywords

ATTRIBUTE GRAMMARS; ERLANG; PROGRAM GENERATION; PROPERTY; QUICKCHECK; REFACTORERL; REFACTORINGS; WRANGLER; YECC;

CONTEXT SENSITIVE GRAMMARS;

AUTOMATIC PROGRAMMING;

EID: 78649856148     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1863509.1863521     Document Type: Conference Paper

References (20)

1. Quviq QuickCheck, June 2010. http://www.quviq.com/.
2. RefactorErl, June 2010. http://plc.inf.elte.hu/erlang/.
3. Wrangler, June 2010. http://www.cs.kent.ac.uk/projects/forse/.
4. T. Arts and J. Hughes. Erlang/QuickCheck. In In Ninth International Erlang/OTP User Conference, November 2003.
5. T. Arts et al. Testing Telecoms Software with Quviq QuickCheck. In ACM SIGPLAN workshop on Erlang. ACM Press, 2006.
6. T. Avgerinos and K. F. Sagonas. Cleaning up erlang code is a dirty job but somebody's gotta do it. In Erlang Workshop, pages 1-10, 2009.
7. J. W. Backus et al. Revised report on the algorithmic language ALGOL 60. 1997.
8. N. Chomsky. Three models for the description of language. Information Theory, IRE Transactions on, 1956. doi: 10.1109/TIT.1956.1056813.
9. B. Daniel et al. Automated testing of refactoring engines. In ESEC/FSE, pages 185-194, New York, NY, USA, 2007. ACM Press. ISBN 978-1-59593-811-4.
10. M. Fowler, K. Beck, J. Brant, W. Opdyke, and D. Roberts. Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, July 1999. ISBN 0-201-48567-2.
11. D. Horpácsi. Testing refactoring tools by generating random Erlang modules. Master's thesis, ELTE, Budapest, Hungary, 2010.
12. D. E. Knuth. Semantics of context-free languages. Theory of Computing Systems, 1968. doi: 10.1007/BF01692511.
13. P. M. Lewis et al. Attributed translations (Extended Abstract). In STOC '73. ACM, 1973.
14. H. Li and S. Thompson. Testing Erlang Refactorings with QuickCheck. In IFL, pages 19-36, Berlin, Heidelberg, 2007. Springer-Verlag. ISBN 978-3-540-85372-5.
15. W. F. Opdyke. Refactoring object-oriented frameworks. Technical report, 1997.
16. J. Paakki. Attribute grammar paradigms-a high-level methodology in language implementation. ACM Comput. Surv., 1995. ISSN 0360-0300.
17. K. F. Sagonas. Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications. In Workshop on the Evaluation of Software Defect Detection Tools (Bugs'05), 2005.
18. K. F. Sagonas and T. Avgerinos. Automatic refactoring of erlang programs. In PPDP, pages 13-24, 2009.
19. L. P. Sobotkiewicz. A New Tool for Grammar-based Test Case Generation. Technical report, University of Victoria, 2008. MSc thesis.
20. N. Sultana and S. Thompson. Mechanical Verification of Refactorings. In ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM Press, 2008.