02-publications.md

layout	title	permalink
page	Publications	/publications/

2018

• Andreas Löscher and Konstantinos Sagonas. Automating Targeted Property-Based Testing. 11th IEEE Conference on Software Testing, Verification and Validation (ICST 2018), pages 70-80. April 2018. IEEE Computer Society. (PDF)