Woei Shyang Siaw, Charles Lakos, Zbigniew Michalewicz, Sven Schellenberg. Experiments in applying evolutionary algorithms to software verification. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2008, June 1-6, 2008, Hong Kong, China. pages 3531-3536, IEEE, 2008. [doi]
Abstract is missing.