An intelligent testing system embedded with an ant colony optimization based test composition method | IEEE Conference Publication | IEEE Xplore