\input zb-basic
\input zb-ioport
\iteman{io-port 70170657}
\itemau{Wei, Yi; Pei, Yu; Furia, Carlo A.; Silva, Lucas S.; Buchholz, Stefan; Meyer, Bertrand; Zeller, Andreas}
\itemti{Automated fixing of programs with contracts}
\itemso{ISSTA, 61-72 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1831708.1831716}
\end