docs

Publications

Li, Huiqing and Thompson, Simon (2015) Safe Concurrency Introduction through Slicing. In: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM ‘15. ACM SIGPLAN pp. 103-113.

Li, Huiqing and Thompson, Simon and Lamela Seijas, Pablo and Francisco, Miguel Angel (2014) Automating property-based testing of evolving web service. In: Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation - PEPM ‘14

Thompson, Simon and Li, Huiqing (2013) Refactoring tools for functional languages. Journal of Functional Programming, 23 (03). pp. 293-350.

Li, Huiqing and Thompson, Simon (2012) Automated API migration in a user-extensible refactoring tool for Erlang programs. In: 27th IEEE/ACM International Conference on Automated Software Engineering, 2012, Essen, Germany.

Li, Huiqing and Thompson, Simon (2012) Let’s Make Refactoring Tools User-extensible! In: The Fifth ACM Workshop on Refactoring Tools.

Li, Huiqing and Thompson, Simon (2012) A Domain-Specific Language for Scripting Refactorings in Erlang. In: 15th Fundamental Approaches to Software Engineering (FASE2012).

Li, Huiqing and Thompson, Simon (2011) A User-extensible Refactoring Tool for Erlang Programs. Technical report, University of Kent.

Li, Huiqing and Thompson, Simon (2011) Incremental Code Clone Detection and Elimination for Erlang Programs. In: Proceedings of the Conference on Fundamental Approaches to Software Engineering (FASE’11).

Li, Huiqing and Thompson, Simon and Arts, Thomas (2011) Extracting Properties from Test Cases by Refactoring. In: Proceedings of the Refactoring and Testing Workshop (RefTest 2011).

Drienyovszky, Daniel and Horpacsi, Daniel and Thompson, Simon (2010) QuickChecking Refactoring Tools. In: Erlang’10: Proceedings of the 2010 ACM SIGPLAN Erlang Workshop.

Li, Huiqing and Thompson, Simon (2010) Refactoring Support for Modularity Maintenance in Erlang. In: Tenth IEEE International Working Conference on Source Code Analysis and Manipulation.

Li, Huiqing and Thompson, Simon (2010) Improved Testing Through Refactoring: Experience from the ProTest project. In: Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010.

Li, Huiqing and Thompson, Simon (2010) Similar Code Detection and Elimination for Erlang Programs. In: Practical Aspects of Declarative languages 2010.

Li, Huiqing and Thompson, Simon (2009) Clone Detection and Removal for Erlang/OTP within a Refactoring Environment. In: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’09).

Li, Huiqing and Thompson, Simon (2009) Testing-framework-aware Refactoring. In: The Third ACM Workshop on Refactoring Tools.

Li, Huiqing and Lindberg, Adam and Schumacher, Andreas and Thompson, Simon (2009) Improving your test code with Wrangler. Technical report, University of Kent.

Li, Huiqing and Thompson, Simon and Orosz, George and Töth, Melinda (2008) Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse. In: Proceedings of the Seventh ACM SIGPLAN Erlang Workshop, SEP 27, 2008, Victoria, Canada.

Li, Huiqing and Thompson, Simon (2007) Testing Erlang Refactorings with QuickCheck. In: Lecture Notes In Computer Science archive. Lecture Notes In Computer Science , 5083. Springer, Freiburg, Germany pp. 19-36.

Li, Huiqing and Thompson, Simon and Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Víg, Anikó and Nagy, Tamás (2006) Refactoring Erlang Programs. In: The Proceedings of 12th International Erlang/OTP User Conference.

Li, Huiqing and Thompson, Simon (2006) A Comparative Study of Refactoring Haskell and Erlang Programs. In: Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), Sep 27-29, 2006, Philadelphia.