Ant Colony Optimization directed program abstraction for software bounded model checking.

Xueqi Cheng, Michael S. Hsiao

Browse the full ICCD paper archive.