Papers

• Andreas Löscher and Konstantinos Sagonas. “Automating Targeted Property-Based Testing”, In Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification, pages 70-80, Västerås, Sweden, April 2018. [PDF] [Abstract] [Slides] [Bib] [Artifact] [Assignment Used as User Study]

• Andreas Löscher and Konstantinos Sagonas. “Targeted Property-Based Testing”, In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, pages 46-56, Santa Barbara, CA, USA, July 2017. [PDF] [Abstract] [Slides] [Bib]

• Andreas Löscher, Konstantinos Sagonas, and Thiemo Voigt. “Property-based Testing of Sensor Networks”, In Proceedings of the 12th Annual IEEE International Conference on Sensing, Communication, and Networking pages 100-108, Seattle, WA, USA, June 2015, [PDF] [Abstract] [Slides] [Bib]

• Leonidas Lampropoulos and Konstantinos Sagonas. “Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services”, In Proceedings of the 8th International Workshop on Automated Specification and Verification of Web Systems, pages 3-16, Stockholm, Sweden, July 2012. [PDF] [Abstract] [[Slides]] [Bib]

• 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]

Ph.D. Theses

• Andreas Löscher, “Targeted Property-Based Testing with Applications in Sensor Networks”. PhD dissertation. Uppsala Dissertations from the Faculty of Science and Technology 133, Uppsala University, Sweden, May 2018. [PDF]

Diploma Theses

Do not be put off by the first few pages which are in Greek. The main text of the theses is in English.

• Leonidas Lampropoulos, “Property-Based Testing of Web Services”, July 2012. [PDF] [Abstract] [Bib]

• 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]

Talks

• Kostis Sagonas, “Two Testing Tools for the Erlang Ecosystem”, CODE BEAM SF, March 2018. [Slides] [Video]

• Kostis Sagonas, “A PropEr Creation”, Erlang User Conference, November 2011. [Slides] [Video]

• Kostis Sagonas, “A PropEr Talk”, Erlang Factory London, June 2011. [Slides] [Video]