An ant colony optimization approach to test sequence generation for state based software testing | IEEE Conference Publication | IEEE Xplore