\input zb-basic
\input zb-ioport
\iteman{io-port 50011715}
\itemau{Chang, Kai-Hsiung; Cross, James H.; Carlisle, W. Homer; Brown, David B.}
\itemti{A framework for intelligent test data generation}
\itemso{Journal of Intelligent and Robotic Systems 5, No. 2, 147-165 (1992).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/BF00444293}
\end