ProTest News:

16 February 2010: Message Sequences Charts help formulating properties

16 February 2010: PhD thesis with part on property based testing

16 February 2010: QuickCheck for testing C programs


More News

ProTest Events:

29 Sep 2010: ICFP 2010, Baltimore, US

30 Sep 2010: ACM SIGPLAN Erlang Workshop, Baltimore, US

1 Oct 2010: CUFP 2010, Baltimore, US


More Events

Subscribe to our newsletter mailing list!

Sign up to receive the latest news and events about the ProTest project.


Google


Members login

Click here


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