\input zb-basic
\input zb-ioport
\iteman{io-port 70512562}
\itemau{Li, Bao-Lin; Li, Zhi-Shu; Qing, Li; Chen, Yan-Hong}
\itemti{Test case automate generation from UML sequence diagram and OCL expression}
\itemso{CIS, 1048-1052 (2007).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/CIS.2007.150}
\end