Add page numbers for ICST'2018

Author: kostis

pages_src/Publications.md

@@ -5,7 +5,7 @@ kate: replace-tabs-save on; replace-tabs on; tab-width 8;
     "Automating Targeted Property-Based Testing",
     In Proceedings of the
     [11th IEEE Conference on Software Testing, Validation and Verification](http://www.es.mdh.se/icst2018/),
-    Västerås, Sweden, April 2018.
+    pages 70-80, Västerås, Sweden, April 2018.
     [[PDF]](/papers/icst2018.pdf)
     [[Abstract]](/papers/icst2018.txt)
     [[Slides]]

resources/papers/icst2018.bib

@@ -3,7 +3,9 @@ @InProceedings{AutomatingTargetedPBT
   title  = "Automating Targeted Property-Based Testing",
   booktitle = "Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification",
   series = {ICST 2018},
+  pages  = {70--80},
   month  = apr,
   year   = {2018},
   publisher = {IEEE},
+  doi    = {10.1109/ICST.2018.00017}
 }