fixed some small errors in the report

[tt2015.git] / a3 / 2tools.tex

diff --git a/a3/2tools.tex b/a3/2tools.tex
index 03e7f8d..cf69a51 100644 (file)
--- a/a3/2tools.tex
+++ b/a3/2tools.tex
@@ -18,7 +18,7 @@ tool.
 
 \subsection{\GAST}
 \GAST is an open source model based test tool developed by Koopman et
-al.\cite{koopman2003gast} and is a design specific language written in the
+al.\cite{koopman2003gast} and is a domain specific language written in the
 functional programming language Clean. Models in \GAST must be expressed as
 functions. \GAST supports two different types of testing. Standard model
 checking and property based testing. As discussed earlier we are not using