| Article Details | ||
|---|---|---|
| Title: | Targeted property-based testing | |
| Article URLs: | ||
| Alternative Article URLs: | https://proper-testing.github.io/papers/issta2017.pdf | |
| Authors: | Andreas Löscher |
|
| Konstantinos Sagonas |
|
|
| 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.
awarded
|
|
| Artifact URLs: | ||
| Artifact Correspondence Email Addresses: |
|
|
| NSF Award Numbers: | ||
| DBLP Key: | conf/issta/LoscherS17 | |
| Author Comments: | Refer to https://proper-testing.github.io/ 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. | |