Isolating First Order Equivalent Mutants via Second Order Mutation.
Marinos KintisMike PapadakisNicos MalevrisPublished in: ICST (2012)
Keyphrases
- higher order
- genetic algorithm
- evolutionary algorithm
- genetic algorithm ga
- differential evolution
- test sequences
- test cases
- evolutionary programming
- first order logic
- high order
- stochastic dominance
- evolutionary process
- mutation operator
- data model
- pairwise
- video sequences
- horn clauses
- population size
- fourth order
- image sequences