Login / Signup
Employing second-order mutation for isolating first-order equivalent mutants.
Marinos Kintis
Mike Papadakis
Nicos Malevris
Published in:
Softw. Test. Verification Reliab. (2015)
Keyphrases
</>
higher order
evolutionary algorithm
genetic algorithm
first order logic
image sequences
test cases
fitness function
test suite
population size
test sequences
immune clonal
knowledge base
decision diagrams
quantifier elimination
stochastic dominance
inductive logic programming systems