fig-summary-method-tc6.tex

\begin{figure}[!ht]
\begin{center}
\includegraphics[width=0.70\textwidth]{fig/report-by-method-pri-nodes-tc6.eps}
\caption{\label{fig:summary-method-tc6} Updated coverage after six
test cases \wrt the \pk{All-Pri-Nodes} criterion.}
\end{center}
\end{figure}