update hfst 1 2

[tt2015.git] / a3 / tt3.bib

diff --git a/a3/tt3.bib b/a3/tt3.bib
index 2a937c4..28a90fc 100644 (file)
--- a/a3/tt3.bib
+++ b/a3/tt3.bib
@@ -59,3 +59,23 @@ Updated by RFCs 1122, 3168, 6093, 6528},
        year = {2000},
        pages = {70--79},
 }
+@incollection{belinfante2010jtorx,
+         title={JTorX: A tool for on-line model-driven test derivation and
+                 execution},
+           author={Belinfante, Axel},
+             booktitle={Tools and Algorithms for the Construction and Analysis
+                     of Systems},
+               pages={266--270},
+                 year={2010},
+                   publisher={Springer}
+}
+@incollection{koopman2003gast,
+         title={Gast: Generic automated software testing},
+           author={Koopman, Pieter and Alimarine, Artem and Tretmans, Jan and
+                   Plasmeijer, Rinus},
+             booktitle={Implementation of Functional Languages},
+               pages={84--100},
+                 year={2003},
+                   publisher={Springer}
+}
+