An efficient bitwise algorithm for intra-procedural data-flow testing coverage.
Marcos Lordello ChaimRoberto Paulo Andrioli de AraujoPublished in: Inf. Process. Lett. (2013)
Keyphrases
- data flow
- detection algorithm
- learning algorithm
- dynamic programming
- optimal solution
- computationally efficient
- optimization algorithm
- significant improvement
- cost function
- decision trees
- computational complexity
- search space
- k means
- convergence rate
- object oriented
- worst case
- simulated annealing
- matching algorithm
- database machine
- test suite
- databases
- particle swarm optimization
- probabilistic model
- computational cost
- evolutionary algorithm
- preprocessing