Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...
Abstract: A novel strategy on particle swarm optimization is proposed to solve dynamic optimization problems, in which the data are obtained not once for all but one by one. The evolutionary states of ...