1 files changed, 39 insertions, 0 deletions
diff --git a/assignments/assignment3/assignment3.tex b/assignments/assignment3/assignment3.tex
new file mode 100644
index 0000000..e3e655f
--- /dev/null
+++ b/assignments/assignment3/assignment3.tex
@@ -0,0 +1,39 @@
+\documentclass[british]{scrartcl}
+
+\usepackage[british]{babel}
+\usepackage{csquotes}
+\usepackage{enumerate}
+\usepackage[hidelinks]{hyperref}
+\usepackage{minted}
+\setminted{fontsize=\small,breaklines,breakanywhere,tabsize=4}
+\usepackage{caption}
+\newenvironment{longlisting}{\captionsetup{type=listing}}{}
+\usepackage{tikz}
+\usetikzlibrary{arrows, matrix, positioning}
+\usepackage{cleveref}
+
+\let\oldurl\url
+\def\url#1{{\small\oldurl{#1}}}
+
+\title{Model-Based Testing with QuickCheck}
+\subtitle{Testing \texttt{chesshs} with QuickCheck}
+\author{Ren\'e den Hertog \and Camil Staps \and Erin van der Veen}
+
+\begin{document}
+
+\maketitle
+
+\section{QuickCheck}
+QuickCheck\footnote{\url{http://www.cse.chalmers.se/~rjmh/QuickCheck/}} is a property based testing tool initially created for Haskell.
+Given that our SUT is a Haskell library and that QuickCheck is recommended in the assignment, using QuickCheck is nothing but a logical consequence.
+
+\section{Modelling}
+As mentioned above QuickCheck is a property based testing tool.
+A property based testing tool, like QuickCheck, can test if certain specifications (a list of properties) of a program/function hold.
+This testing is done through generating a large sample of test cases, based on a class known as \mintinline{text}{Arbitrary}.
+
+The above implies that a model of the system is given using a specification.
+In our case, like we did in the first assignment, we generate games that are fed to the parser.
+However, unlike the first assignment, the PGN games that are generated this time, are generated by QuickCheck and are thus completely random.
+
+\end{document}