An Intelligent Testing System Embedded With an Ant-Colony-Optimization-Based Test Composition Method | IEEE Journals & Magazine | IEEE Xplore