Commit bf266cd8 authored by Rick Smetsers's avatar Rick Smetsers
Browse files

typo

parent 462f0b9a
......@@ -136,7 +136,7 @@ The RERS challenge consists of two parts:
\item problems for which one has to find the reachable error states.
\end{enumerate}
\noindent In our approach, we have used a state of the art learning algorithm (\emph{learner}) in combination with a conformance testing algorithm (\emph{tester}) to learn models for the RERS 2016 problems.
\noindent In our approach, we have used a state-of-the-art learning algorithm (\emph{learner}) in combination with a conformance testing algorithm (\emph{tester}) to learn models for the RERS 2016 problems.
In addition, we have used a mutation-based fuzzing tool (\emph{fuzzer}) to generate potentially interesting traces independently of the learner and the tester.
We have used these traces as a verification for the learned models and found that
\begin{itemize}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment