To Detect Abnormal Program Behaviours via Mutation Deduction.

Jie Zhang Dan Hao Lingming Zhang Lu Zhang

Published in: ICST Workshops (2018)

Keyphrases

genetic algorithm
evolutionary algorithm
fitness function
test cases
computer programs
population size
machine learning
information retrieval
information systems
search space
differential evolution
inference rules
theorem proving
mutation operator
static analysis