issta2017.bib

@InProceedings{TargetedPBT@ISSTA-17,
  author = "Andreas L{\"o}scher and Konstantinos Sagonas",
  title  = "Targeted Property-Based Testing",
  booktitle = "Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis",
  series = {ISSTA 2017},
  month  = jul,
  year   = {2017},
  pages  = {46--56},
  address = {New York, NY, USA},
  publisher = {ACM},
  url = {http://doi.acm.org/10.1145/3092703.3092711},
  doi = {10.1145/3092703.3092711},
}