An application of genetic algorithms and BDDs to functional testing | IEEE Conference Publication | IEEE Xplore