Publications

Title: Testing an Optimising Compiler by Generating Random Lambda Terms
Authors: Michal H. Palka and Koen Claessen and Alejandro Russo and John Hughes
Conference/Journal: 6th IEEE/ACM Workshop on Automation of Software Test (AST 2011), Honolulu, Hawaii
Date: 23/5/2011
Download:
Bibtex: Click Here

Title: Testing for the Unexpected
Authors: Ulf Wiger
Conference/Journal: QCon, London 2011
Date: 11/4/2011
Download: Presentation

Title: Incremental Code Clone Detection and Elimination for Erlang Programs
Authors: Huiqing Li and Simon Thompson
Conference/Journal: Proceedings of the Fundamental Approaches to Software Engineering(FASE'11), Saarbrucken, Germany
Date: 26/3/2011
Download:
Bibtex: Click Here

Title: Extracting Properties from Test Cases by Refactoring
Authors: Huiqing Li and Simon Thompson and Thomas Arts
Conference/Journal: Proceedings of the Refactoring and Testing Workshop(RefTest 2011), Berlin, Germany
Date: 25/3/2011
Download:
Bibtex: Click Here

Title: Testing Data Consistency of Data-Intensive Applications Using QuickCheck
Authors: Laura M. Castro and Thomas Arts
Conference/Journal: Electronic Notes in Theoretical Computer Science Journal, volume 271
Date: 4/2/2011
Download:
Bibtex: Click Here

Title: A Verification of a Process Supervisor with McErlang
Authors: David Castro and Clara Benac Earle and Lars-Ake Fredlund and Victor M. Gulias and Samuel Rivas
Conference/Journal: Electronic Notes in Theoretical Computer Science Journal, volume 271
Date: 4/2/2011
Download:
Bibtex: Click Here

Title: Implementing a multiagent negotiation protocol in Erlang
Authors: Fernandez Diaz, Alvaro and Benac Earle, Clara and Fredlund, Lars-Ake
Conference/Journal: Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA
Date: 30/9/2010
Download:
Bibtex: Click Here

Title: A unified semantics for future Erlang
Authors: Svensson, Hans and Fredlund, Lars-\AAke and Benac Earle, Clara
Conference/Journal: Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA
Date: 30/9/2010
Download:
Bibtex: Click Here

Title: From test cases to FSMs: augmented test-driven development and property inference
Authors: Arts, Thomas and Thompson, Simon
Conference/Journal: Erlang '10: Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA
Date: 30/9/2010
Download:
Bibtex: Click Here

Title: Refactoring Support for Modularity Maintenance in Erlang
Authors: Huiqing Li and SImon Thompson
Conference/Journal: Tenth IEEE International Working Conference on Source Code Analysis and Manipulation
Date: 12/9/2010
Download:
Bibtex: Click Here

Title: Testing Data Consistency of Data-Intensive Applications using {QuickCheck}
Authors: Laura M. Castro and Thomas Arts
Conference/Journal: PROLE '10: Proceedings of the 2010 Jornadas sobre Programaci\'on y Lenguajes Book, Valencia, Spain
Date: 7/9/2010
Download:
Bibtex: Click Here

Title: A Verification of a Process Supervisor with McErlang
Authors: David Castro and Clara Benac Earle and Lars-Ake Fredlund and Victor M. Gulias and Samuel Rivas
Conference/Journal: PROLE '10: Proceedings of the 2010 Jornadas sobre Programaci\'on y Lenguajes Book, Valencia, Spain
Date: 7/9/2010
Download:
Bibtex: Click Here

Title: Improved Testing Through Refactoring: Experience from the ProTest project
Authors: Huiqing Li and Simon Thompson
Conference/Journal: Testing - Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010
Date: 3/9/2010
Download:
Bibtex: Click Here

Title: Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK,
Authors: Leonardo Bottaci and Gordon Fraser
Conference/Journal: TAIC PART 2010
Date: 3/9/2010
Download:
Bibtex: Click Here

Title: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
Authors: Qiang Guo, John Derrick, Clara Benac Earle and Lars-Ake Fredlund
Conference/Journal: TAIC PART 2010
Date: 3/9/2010
Download:
Bibtex: Click Here

Title: Using McErlang to Verify an Erlang Process Supervision Component
Authors: David Castro, Clara Benac Earle, Lars-Ake Fredlund, Victor M. Gulias and Samuel Rivas
Conference/Journal: TFP '10: Symposium on Trends in Functional Programing 2010
Date: 17/5/2010
Download:
Bibtex: Click Here

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: Ranking programs using black box testing
Authors: Koen Claessen and John Hughes and Michał Pałka and Nick Smallbone and Hans Svensson
Conference/Journal: Proceedings of the 5th International Workshop on Automation of Software Test
Date: 3/5/2010
Download:
Bibtex: Click Here

Title: Using Temporal Relations to Specify and Test an Instant Messaging Server
Authors: John Hughes and Ulf Norell and Jérôme Sautret
Conference/Journal: Proceedings of the 5th International Workshop on Automation of Software Test
Date: 3/5/2010
Download:
Bibtex: Click Here

Title: Property Driven Development in Erlang, by Example
Authors: Samuel Rivas and Miguel Ángel Francisco and Víctor M. Gulías
Conference/Journal: AST'10 5th International Workshop on Automation of Software Test
Date: 3/5/2010
Download:
Bibtex: Click Here

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