On strong mutation and the theory of subsuming logic-based mutants.

Birgitta Lindström András Márki

Published in: Softw. Test. Verification Reliab. (2019)

Keyphrases

theoretical framework
evolutionary algorithm
differential evolution
genetic algorithm
general theory
formal theory
knowledge representation
test cases
theoretical basis
test sequences
data mining
machine learning
image processing
multi agent
logic programs
conceptual framework