An Application of Genetic Algorithms and BDDs to Functional Testing