PROWESS: Property-Based Testing for Web Services

John Derrick
Professor of Computer Science @ University of Sheffield

This presentation will provide an overview of the PROWESS project, that has spent the last three years applying Property-Based Testing to web services, funded by the EU. Using a case study of the VoDKATV system from Interoud Innovation, wel will give an overview of how each of the PROWESS tools fits into the overall process of testing web services, as well as showing how QuickCheck is used in such a case.

Talk objectives:

To give a high-level overview of how to apply property-based testing in the field of web services, as well as to demonstrate how the PROWESS tools support this process.

Target audience:

Those interested in web services, testing, and property-based testing.


John works at the University of Sheffield, and has worked on testing and formal methods for distributed systems for many years. His recent involvement in Erlang is via two EU projects - ProTest and PROWESS, both on property-based testing.


Back to conference page