Fabrizio Ferrandi Donatella Sciuto Alessandro Fin Franco Fummi An Application of Genetic Algorithms and BDDs to Functional Testing. 48- 2000 ICCD http://computer.org/proceedings/iccd/0801/08010048abs.htm db/conf/iccd/iccd2000.html#FerrandiSFF00