ACM SIGSOFT Intl. Symposium on Software Testing and Analysis, ISSTA 2017

Article Details
Title: Targeted property-based testing
Article URLs:
Alternative Article URLs:
Authors: Andreas Löscher
  • Uppsala University, Department of Information Technology
Konstantinos Sagonas
  • Uppsala University, Department of Information Technology
Sharing: Research produced artifacts
Verification: Authors have verified information
Artifact Evaluation Badge:
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/issta/LoscherS17
Author Comments: Refer to where more information about property-based testing, targeted property-based testing, more examples and tutorials can be found. By now, the work has been fully integrated in the PropEr tool, although the syntax of the examples has been slightly changed.

Discuss this paper and its artifacts below