From 289f32ca0f90061ab5901e9d2f05ae97bd9ddc75 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 10:02:28 +0100
Subject: [PATCH] mapje gemaakt voor a4

---
 a4/Makefile     | 21 ++++++++++++
 a4/preamble.tex | 12 +++++++
 a4/tt4.bib      | 85 +++++++++++++++++++++++++++++++++++++++++++++++++
 a4/tt4.tex      | 12 +++++++
 4 files changed, 130 insertions(+)
 create mode 100644 a4/Makefile
 create mode 100644 a4/preamble.tex
 create mode 100644 a4/tt4.bib
 create mode 100644 a4/tt4.tex

diff --git a/a4/Makefile b/a4/Makefile
new file mode 100644
index 0000000..79844d6
--- /dev/null
+++ b/a4/Makefile
@@ -0,0 +1,21 @@
+LATEX:=latex
+
+DOCUMENT:=tt4
+
+.SECONDARY: $(DOCUMENT).fmt
+.PHONY: clean
+
+all: $(DOCUMENT).pdf
+
+%.pdf: %.dvi
+	dvipdfm $<
+
+%.dvi: %.tex %.fmt
+	$(LATEX) $<
+	$(LATEX) $<
+
+%.fmt: preamble.tex
+	$(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
+
+clean:
+	$(RM) -v $(addprefix $(DOCUMENT).,aux fmt log out pdf toc)
diff --git a/a4/preamble.tex b/a4/preamble.tex
new file mode 100644
index 0000000..5a64503
--- /dev/null
+++ b/a4/preamble.tex
@@ -0,0 +1,12 @@
+\documentclass[titlepage]{article}
+
+\usepackage{a4wide}
+\usepackage[dvipdfm]{hyperref}
+
+\author{%
+	Charlie Gerhardus\and
+	Pim Jager\and
+	Mart Lubbers
+}
+\title{Automata learning} 
+\date{\today}
diff --git a/a4/tt4.bib b/a4/tt4.bib
new file mode 100644
index 0000000..cd67d5d
--- /dev/null
+++ b/a4/tt4.bib
@@ -0,0 +1,85 @@
+@incollection{pol1997,
+	title = {A {Test} {Management} approach for structured testing},
+	booktitle = {Achieving {Software} {Product} {Quality}},
+	publisher = {UTN publishers},
+	author = {Pol, M. and van Veenendaal, Erik},
+	editor = {van Veenendaal, Erik and McMullen, Julie},
+	year = {1997},
+}
+
+@misc{muller2011,
+	title = {Certified {Tester}. {Foundation} {Level} {Syllabus}},
+	author = {Müller, Thomas},
+	editor = {Friedenberg, Debra},
+	year = {2011},
+}
+
+@book{iso9126,
+	title = {{ISO}/{IEC} 9126. {Software} engineering – {Product} quality},
+	publisher = {ISO/IEC},
+	author = {{ISO/IEC}},
+	year = {2001}
+}
+
+@book{iso25010,
+	title = {{ISO}/{IEC} 25010:2011. {Systems} and software engineering -- {Systems} and software {Quality} {Requirements} and {Evaluation} ({SQuaRE}) -- {System} and software quality models.},
+	publisher = {ISO/IEC},
+	author = {{ISO/IEC}},
+	year = {2011}
+}
+
+@misc{veenendaal2012,
+	title = {Standard glossary of terms used in {Software} {Testing}},
+	editor = {van Veenendaal, Erik van},
+	year = {2012},
+}
+
+@book{rfc793,
+	series = {Request for {Comments}},
+	title = {Transmission {Control} {Protocol}},
+	url = {http://www.ietf.org/rfc/rfc793.txt},
+	number = {793},
+	publisher = {IETF},
+	author = {Postel, J.},
+	month = sep,
+	year = {1981},
+	note = {Published: RFC 793 (INTERNET STANDARD)
+Updated by RFCs 1122, 3168, 6093, 6528},
+}
+
+@article{whittaker2000,
+	title = {What is software testing? {And} why is it so hard?},
+	volume = {17},
+	shorttitle = {What is software testing?},
+	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=819971},
+	number = {1},
+	urldate = {2015-09-20},
+	journal = {Software, IEEE},
+	author = {Whittaker, James},
+	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}
+}
+@misc{JTorXSite,
+  title = {JTorX - FMT Tools},
+  howpublished = {\url{https://fmt.ewi.utwente.nl/redmine/projects/jtorx/wiki/}},
+  note = {Accessed: 2015-12-26}
+}
diff --git a/a4/tt4.tex b/a4/tt4.tex
new file mode 100644
index 0000000..5c19fb0
--- /dev/null
+++ b/a4/tt4.tex
@@ -0,0 +1,12 @@
+%&tt4
+\begin{document}
+\maketitle
+\tableofcontents
+\newpage
+
+hoi
+
+\nocite{*}
+\bibliographystyle{ieeetr}
+\bibliography{tt4}
+\end{document}
-- 
2.20.1