Add Leonidas' thesis and modify the bibitems

Author: kostis

resources/papers/eirini-thesis.bib

@@ -1,10 +1,9 @@
-@mastersthesis{arvaniti11,
+@MastersThesis{arvaniti-thesis-11,
   author = {Eirini Arvaniti},
-  title  = {{Automated Random Model-Based Testing of Stateful Systems}},
-  school = {National Technical University of Athens, School of Electrical
-	    and Computer Engineering},
+  title  = {Automated Random Model-Based Testing of Stateful Systems},
+  school = {National Technical University of Athens, School of Electrical and Computer Engineering},
   year   = {2011},
-  month  = {July},
+  month  = jul,
   type   = {Diploma thesis},
-  note   = {\url{http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2011-0142/DT2011-0142.pdf}},
+  url    = {http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2011-0142/DT2011-0142.pdf},
 }

resources/papers/leonidas-thesis.bib

@@ -0,0 +1,10 @@
+@MastersThesis{lampropoulos-thesis-2012,
+  author = {Leonidas Lampropoulos},
+  title  = {Property-Based Testing of Web Services},
+  school = {National Technical University of Athens, School of Electrical and Computer Engineering},
+  year   = {2012},
+  month  = jul,
+  type   = {Diploma thesis},
+  url    = {http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2012-0130/DT2012-0130.pdf},
+}
+

resources/papers/leonidas-thesis.pdf

@@ -0,0 +1,14 @@
+With web services already being key ingredients of modern web systems,
+automatic and easy-to-use but at the same time powerful and expressive testing
+frameworks for web services are increasingly important. Our work aims at fully
+automatic testing of web services: ideally the user only specifies properties
+that the web service is expected to satisfy, in the form of input-output
+relations, and the system handles all the rest. In this thesis we present in
+detail all the components which form this system: how the WSDL specification
+of a web service is used to automatically create test case generators and
+properties that can be fed to PropEr, a property-based testing tool, to create
+structurally valid random test cases for its operations and check its
+responses. Although the process is fully automatic, our tool optionally allows
+the user to easily modify its output to either add semantic information to the
+generators or write properties that test for more involved functionality of
+the web services.

resources/papers/leonidas-thesis.txt

@@ -1,11 +1,9 @@
-@mastersthesis{papadakis10,
+@MastersThesis{papadakis-thesis-10,
   author = {Manolis Papadakis},
-  title  = {{Automatic Random Testing of Function Properties from
-	     Specifications}},
-  school = {National Technical University of Athens, School of Electrical
-	    and Computer Engineering},
+  title  = {Automatic Random Testing of Function Properties from Specifications},
+  school = {National Technical University of Athens, School of Electrical and Computer Engineering},
   year   = {2010},
-  month  = {October},
+  month  = oct,
   type   = {Diploma thesis},
-  note   = {\url{http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2010-0295/DT2010-0295.pdf}},
+  url    = {http://artemis.cslab.ntua.gr/el_thesis/artemis.ntua.ece/DT2010-0295/DT2010-0295.pdf},
 }