\input zb-basic
\input zb-ioport
\iteman{io-port 70551283}
\itemau{Vilkomir, Sergiy A.; Bowen, Jonathan P.}
\itemti{Reinforced condition/decision coverage (RC/DC): A new criterion for software testing}
\itemso{ZB, 291-308 (2002).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-45648-1\_15}
\end