- Manolis Papadakis and Konstantinos Sagonas, "A PropEr Integration of Types and Function Specifications with Property-Based Testing", In Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, pages 39-50, Tokyo, Japan, September 2011. [PDF] [Abstract] [Slides] [Bib]
Do not be put off by the first few pages which are in Greek. The main text of the theses is in English.
- Eirini Arvaniti, "Automated Random Model-Based Testing of Stateful Systems", July 2011. [PDF] [Abstract] [Bib]
- Manolis Papadakis, "Automatic Random Testing of Function Properties from Specifications", October 2010. [PDF] [Abstract] [Bib]