Xueqi Cheng, Michael S. Hsiao. Ant Colony Optimization directed program abstraction for software bounded model checking. In 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings. pages 46-51, IEEE, 2008. [doi]
Abstract is missing.