\input zb-basic
\input zb-ioport
\iteman{io-port 70927583}
\itemau{Groce, Alex; Havelund, Klaus; Smith, Margaret H.}
\itemti{From scripts to specifications: the evolution of a flight software testing effort}
\itemso{ICSE (2), 129-138 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1810295.1810314}
\end