Final version of ICST 2018 paper

Author: kostis

pages_src/Publications.md

@@ -10,6 +10,8 @@ kate: replace-tabs-save on; replace-tabs on; tab-width 8;
     [[Abstract]](/papers/icst2018.txt)
     [[Slides]]
     [[Bib]](/papers/icst2018.bib)
+    [[Artifact]](/papers/icst2018_artifact.pdf)
+    [[Assignment Used as User Study]](/papers/icst2018_assignment.pdf)
 
 *   Andreas Löscher and Konstantinos Sagonas.
     "Targeted Property-Based Testing",

resources/papers/icst2018.bib

@@ -1,4 +1,4 @@
-@InProceedings{AutomatedTargetedPBT@ICSST-18,
+@InProceedings{AutomatingTargetedPBT@ICSST-18,
   author = "Andreas L{\"o}scher and Konstantinos Sagonas",
   title  = "Automating Targeted Property-Based Testing",
   booktitle = "Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification",