\project thesis
\startcomponent introduction

\startchapter
  [title={Pakkende titel},
   reference=chap:introduction]

\startsection
  [title={Learning and Testing}]

\todo{Gekopieerd van test methods paper.}

Finite state machine conformance testing is a core topic in testing literature that is relevant for communication protocols and other reactive systems.
The combination of conformance testing and automata learning is applied in practice and it proves to be an effective way of finding bugs \cite[Joeri], replacing legacy software \cite[Philips], or inferring models to be used in model checking \cite[MeinkeSindhu].

Several model learning applications:
learning embedded controller software \cite[DBLP:conf/icfem/SmeenkMVJ15], learning the TCP protocol \cite[DBLP:conf/cav/Fiterau-Brostean16] and learning the MQTT protocol \cite[DBLP:conf/icst/TapplerAB17].


\stopsection
\startsection
  [title={Nominal Techniques}]


\stopsection
\referencesifcomponent
\stopchapter
\stopcomponent