Papers, theses, and talks about PropEr
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]
- 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]
Do not be put off by the first few pages which are in Greek. The main text of the theses is in English.