@techreport{R098.019, author={Dupont, S.}, title={Hands-on Automatic Test Pattern Generation}, year={1998}, month={6}, address={Leuven}, }