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]
@inproceedings{SiawLMS08, title = {Experiments in applying evolutionary algorithms to software verification}, author = {Woei Shyang Siaw and Charles Lakos and Zbigniew Michalewicz and Sven Schellenberg}, year = {2008}, doi = {10.1109/CEC.2008.4631275}, url = {http://dx.doi.org/10.1109/CEC.2008.4631275}, researchr = {https://researchr.org/publication/SiawLMS08}, cites = {0}, citedby = {0}, pages = {3531-3536}, booktitle = {Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2008, June 1-6, 2008, Hong Kong, China}, publisher = {IEEE}, }