\input zb-basic
\input zb-ioport
\iteman{io-port 70540424}
\itemau{Qusef, Abdallah; Bavota, Gabriele; Oliveto, Rocco; De Lucia, Andrea; Binkley, David}
\itemti{SCOTCH: slicing and coupling based test to code trace Hunter}
\itemso{WCRE, 443-444 (2011).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/WCRE.2011.68}
\end