Ant Colony Optimization directed program abstraction for software bounded model checking | IEEE Conference Publication | IEEE Xplore