Automatic Test Pattern Generation with BOA. - Tiziana Gravagnoli; Fabrizio Ferrandi; Pier Luca Lanzi; Donatella Sciuto (PPSN, 2006)