Add ICST'2018 preprint

Author: kostis

pages_src/Publications.md

@@ -1,6 +1,18 @@
 Summary: Papers and talks about PropEr
 kate: replace-tabs-save on; replace-tabs on; tab-width 8;
 
+*   Andreas Löscher and Konstantinos Sagonas.
+    "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.
+    [[PDF]](/papers/icst2018.pdf)
+    [[Abstract]](/papers/icst2018.txt)
+    [[Slides]]
+    [[Bib]](/papers/icst2018.bib)
+
+*   Andreas Löscher, Konstantinos Sagonas, and Thiemo Voigt.
+    "Property-based Testing of Sensor Networks",
 *   Andreas Löscher and Konstantinos Sagonas.
     "Targeted Property-Based Testing",
     In Proceedings of the

resources/papers/icst2018.bib

@@ -0,0 +1,9 @@
+@InProceedings{AutomatedTargetedPBT@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",
+  series = {ICST 2018},
+  month  = apr,
+  year   = {2018},
+  publisher = {IEEE},
+}

resources/papers/icst2018.pdf

@@ -0,0 +1,15 @@
+Targeted property-based testing is an enhanced form of property-based testing
+(PBT) where the input generation is guided by a search strategy instead of being
+random, thereby combining the strengths of QuickCheck-like and search-based
+testing techniques.
+To use it, however, the user currently needs to specify a search
+strategy and also supply all ingredients that the search strategy requires.
+This is often a laborious process and makes targeted PBT less attractive
+than its random counterpart.
+In this paper, we focus on simulated annealing, the default search strategy
+of our tool, and present a technique that automatically creates all the
+ingredients that targeted PBT requires starting from only a random generator.
+Our experiments, comparing the automatically generated ingredients to fine-tuned
+manually written ones, show that the performance that one obtains
+is sufficient and quite competitive in practice.
+