Add two more publications

Author: kostis

pages_src/Publications.md

@@ -1,7 +1,27 @@
 Summary: Papers and talks about PropEr
 kate: replace-tabs-save on; replace-tabs on; tab-width 8;
 
-*   Manolis Papadakis and Konstantinos Sagonas,
+*   Andreas Löscher and Konstantinos Sagonas.
+    "Targeted Property-Based Testing",
+    In Proceedings of the
+    [26th International Symposium on Software Testing and Analysis](http://conf.researchr.org/home/issta-2017),
+    pages ??-??, Santa Barbara, CA, USA, July 2017.
+    [[PDF]](/papers/issta2017.pdf)
+    [[Abstract]](/papers/issta2017.txt)
+    [[Slides]]
+    [[Bib]](/papers/issta2017.bib)
+
+*   Andreas Löscher, Konstantinos Sagonas, and Thiemo Voigt.
+    "Property-based Testing of Sensor Networks",
+    In Proceedings of the
+    [12th Annual IEEE International Conference on Sensing, Communication, and Networking](http://secon2015.ieee-secon.org/)
+    pages 100-108, Seattle, WA, USA, June 2015,
+    [[PDF]](/papers/secon2015.pdf)
+    [[Abstract]](/papers/secon2015.txt)
+    [[Slides]]
+    [[Bib]](/papers/secon2015.bib)
+
+*   Manolis Papadakis and Konstantinos Sagonas.
     "A PropEr Integration of Types and Function Specifications with
     Property-Based Testing",
     In Proceedings of the

resources/papers/issta2017.bib

@@ -0,0 +1,10 @@
+@InProceedings{TargetedPBT@ISSTA-17,
+  author = "Andreas L{\"o}scher and Konstantinos Sagonas",
+  title  = "Targeted Property-Based Testing",
+  booktitle = "Proceedings of the 26th International Symposium on Software Testing and Analysis",
+  series = {ISSTA '17},
+  month  = jul,
+  year   = "2017",
+  address = "New York, NY",
+  publisher = "ACM Press"
+}

resources/papers/issta2017.pdf

@@ -0,0 +1,16 @@
+We introduce targeted property-based testing, an enhanced form of
+property-based testing that aims to make the input generation component of a
+property-based testing tool guided by a search strategy rather than being
+completely random. Thus, this testing technique combines the advantages
+of both search-based and property-based testing.
+
+We demonstrate the technique with the framework we have built, called Target,
+and show its effectiveness on three case studies. The first of them demonstrates
+how Target can employ simulated annealing to generate sensor network topologies
+that form configurations with high energy consumption. The second case study
+shows how the generation of routing trees for a wireless network equipped with
+directional antennas can be guided to fulfill different energy metrics.
+The third case study employs Target to test the noninterference property of
+information-flow control abstract machine designs, and compares it with a
+sophisticated hand-written generator for programs of these abstract machines.
+

resources/papers/issta2017.txt

@@ -0,0 +1,12 @@
+@InProceedings{PBT@SECON-15,
+  author = {Andreas L{\"o}scher and Konstantinos Sagonas and Thiemo Voigt},
+  title = {Property-based Testing of Sensor Networks},
+  booktitle = {Sensing, Communication, and Networking, 12th Annual IEEE International Conference on},
+  pages = {100--108},
+  year = {2015},
+  month = jun,
+  location = {Seattle, WA},
+  publisher = {IEEE},
+  doi = {10.1109/SAHCN.2015.7338296},
+}
+

resources/papers/secon2015.bib

@@ -0,0 +1,16 @@
+We advocate the use of property-based testing in the area of sensor networks
+and present a framework to apply this testing methodology.
+Our framework provides an expressive high-level language to specify a wide
+range of properties, starting from properties of individual functions to
+network-global properties, and infrastructure to automatically test these
+properties in Cooja, the network simulator of the Contiki operating system.
+We demonstrate the ease of use and effectiveness of our framework by two case
+studies.  In the first, we test whether the energy consumption of the
+radio duty-cycle protocol X-MAC is within some specific bound. Property-based
+testing finds minimal network configurations where a small number of nodes
+violate the property.
+Property-based testing also reveals that the same property is not violated when
+ContikiMAC is used instead, but finds cases where ContikiMAC has higher energy
+consumption than X-MAC.
+In the second case study, we test the C API of Contiki's TCP socket library and
+find bugs in its event system that would be very hard to detect with other methods.