Publications

Title: Exago, Property monitoring via log file analysis
Authors: Atilla Erdődi
Conference/Journal: Erlang User Group Meeting, London
Date: 13/5/2010
Download: Presentation

Title: Trexplorer, a trace exploration tool for Erlang
Authors: Judit Kõszegi
Conference/Journal: Erlang User Group Meeting, London
Date: 17/2/2010
Download: Presentation

Title: QuickChecking Refactoring Tools
Authors: Dániel Horpácsi and Dániel Drienyovszky
Conference/Journal: Erlang User Group Meeting, London
Date: 17/2/2010
Download: Presentation

Title: Similar Code Detection and Elimination for Erlang Programs
Authors: Huiqing Li and Simon Thompson
Conference/Journal: Twelfth International Symposium on Practical Aspects of Declarative Languages(PADL'10)
Date: 18/1/2010
Download: Paper
Bibtex: Click Here

Title: Improving your test code with Wrangler
Authors: Simon Thompson
Conference/Journal: 6th Congreso Internacional de Ing. de Sistemas, Software y Telecomunicaciones
Date: 16/11/2009
Download:

Title: Improving your test code with Wrangler
Authors: Huiqing Li, Adam Lindberg, Andreas Schumacher and Simon Thompson
Conference/Journal: Erlang User Conference 2009
Date: 12/11/2009
Download: Paper
Abstract: Click Here
Bibtex: Click Here

Title: Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Authors: N. Walkinshaw, J. Derrick, Q. Guo
Conference/Journal: 16th International Symposium on Formal Methods (FM 2009), Eindhoven, Netherlands
Date: 2/11/2009
Download:

Title: Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs
Authors: Q. Guo, J. Derrick, N. Walkinshaw
Conference/Journal: 21st IFIP International Conference on Testing of Communicating Systems (TestCom 2009) in Eindhoven, Netherlands
Date: 2/11/2009
Download:

Title: Testing-framework-aware Refactoring
Authors: Huiqing Li and Simon Thompson
Conference/Journal: Third ACM Workshop on Refactoring Tools conference in conjunction with the OOPSLA. Pages 1-4, Orlando, Florida, October 2009. ACM Digital Library
Date: 25/10/2009
Download: Paper
Bibtex: Click Here

Title: Computing the Structural Difference between State-Based Models
Authors: K. Bogdanov, N. Walkinshaw
Conference/Journal: 16th IEEE Working Conference on Reverse Engineering (WCRE 2009), Lille, France
Date: 13/10/2009
Download:

Title: Implementing an {LTL-to-Büchi} Translator in {Erlang}
Authors: Hans Svensson
Conference/Journal: 8th ACM Sigplan Erlang Workshop
Date: 5/9/2009
Download:
Abstract: Click Here
Bibtex: Click Here

Title: Finding Race Conditions in Erlang with QuickCheck and PULSE
Authors: Koen Claessen, Michał Pałka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts and Ulf Wiger
Conference/Journal: ICFP '09: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Date: 31/8/2009
Download: Paper
Abstract: Click Here
Bibtex: Click Here

Title: Erlang Programming
Authors: Francesco Cesarini, Simon Thompson
Conference/Journal: O'Reilly Book
Date: 25/6/2009
Download:
Abstract: Click Here

Title: Debugging and verification of multi-agent systems
Authors: Clara Benac Earle
Conference/Journal: Eurocast 2009, Canary Islands, Spain
Date: 15/2/2009
Download: Presentation

Title: Clone Detection and Removal for Erlang/OTP within a Refactoring Environment
Authors: Huiqing Li and Simon Thompson
Conference/Journal: PEPM 2009 - Partial Evaluation and Program Manipulation Conference in Savannah, Georgia
Date: 20/1/2009
Download: Presentation

Title: McErlang: Verifying Distributed Systems Written in Erlang
Authors: Lars-Ake Fredlund, Clara Benac Earle and Hans Svensson
Conference/Journal: COST - European Cooperation in the Field of Scientific and Technical Research
Date: 1/12/2008
Download: Presentation

Title: Formal Specification for Free!
Authors: John Hughes
Conference/Journal: 14th International Erlang/OTP User Conference
Date: 13/11/2008
Download: Presentation

Title: Update on the EU project ProTest
Authors: Thomas Arts, Simon Thompson and Francesco Cesarini
Conference/Journal: 14th International Erlang/OTP User Conference
Date: 13/11/2008
Download: Presentation

Title: A Comparative Evaluation of Imperative and Functional Implementations of the IMAP Protocol
Authors: Francesco Cesarini, Viviana Pappalardo, Corrado Santoro
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper Presentation

Title: Inferring Finite-State Models with Temporal Constraints
Authors: Neil Walkinshaw
Conference/Journal: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08) L'Aquila, Italy
Date: 1/9/2008
Download: Paper

Title: Results for: Erlang testing tools survey for the ProTest project
Authors: Tamas Nagy and Aniko Nagyne Vig
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper

Title: Testing Erlang Data Types with Quviq QuickCheck
Authors: Thomas Arts, Laura M. Castro and John Hughes
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper Presentation
Abstract: Click Here
Bibtex: Click Here

Title: Refactoring with Wrangler, updated
Authors: Huiqing Li, Simon Thompson, Gyorgy Orosz and Melinda Toth
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper Presentation
Abstract: Click Here

Title: Erlang Testing and Tools Survey
Authors: Tamas Nagy and Aniko Nagyne Vig
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper Presentation
Bibtex: Click Here

Title: Erlang fault detection with model-based testing
Authors: Jonas Boberg
Conference/Journal: Seventh ACM SIGPLAN Erlang Workshop
Date: 1/9/2008
Download: Paper Presentation

Title: Verifying Robocup Teams
Authors: Clara Benac Earle and Lars-Ake Fredlund
Conference/Journal: Fifth International Workshop on Model Checking and Artificial Intelligence
Date: 1/7/2008
Download: Paper

Title: ProTest Presentation slides
Authors: John Hughes
Conference/Journal: 13th International Erlang/OTP User Conference
Date: 14/11/2007
Download: Presentation