Automated Software Testing Using Metahurestic Technique Based on An Ant Colony Optimization - Praveen Ranjan Srivastava; Km Baby (CoRR, 2011)