Experiments in applying evolutionary algorithms to software verification. - Woei Shyang Siaw; Charles Lakos; Zbigniew Michalewicz; Sven Schellenberg (IEEE Congress on Evolutionary Computation, 2008)