Commit ef1b08e1 authored by Joshua Moerman's avatar Joshua Moerman
Browse files

Makes it work with plain latex

parent 5f03268f
%!TEX program = xelatex
\documentclass{llncs}
\usepackage{makeidx}
\usepackage[xetex]{graphicx}
\usepackage{graphicx}
\usepackage[binary-units=true]{siunitx}
\usepackage[numbers]{natbib}
\usepackage{listings}
......@@ -388,7 +387,7 @@ A test set is then constructed by taking the product of these sets, or subsets o
The difference between different testing methods is how states are distinguished (i.e.\ the last part).
In the so-called \emph{partial W-method}, or \emph{Wp-method}, \citep{Fujiwara1991} states are distinguished based on the current state of the hypothesis:
For each state $q \in Q_H$ a set $E_{q} \subset E$ of discriminators is constructed, such that for each state $q' \in Q \setminus \{q\}$ there is a sequence $w \in E_{q}$ that distinguishes $q$ and $q'$, i.e.\ $\lambda_H(q, w) \neq \labmda_H(q', w)$.
For each state $q \in Q_H$ a set $E_{q} \subset E$ of discriminators is constructed, such that for each state $q' \in Q \setminus \{q\}$ there is a sequence $w \in E_{q}$ that distinguishes $q$ and $q'$, i.e.\ $\lambda_H(q, w) \neq \lambda_H(q', w)$.
Then, each trace $uv, u \in S \cdot I, v \in I^{l}$ is concatenated with the set $E_q$ such that $q = \delta_H(q_H, uv)$.
%The method that uses a set of discriminators for all pairs of states is called the \emph{W-method} \cite{chow1978testing}.
......
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