Stress testing SMT solvers via type-aware mutation.

Published in: ICSE (Companion Volume) (2020)

Keyphrases

modulo theories
genetic algorithm
test cases
differential evolution
real time
evolutionary algorithm
genetic algorithm ga
database
machine learning
case study
multi objective
fitness function
test data