Generative type-aware mutation for testing SMT solvers.

Jiwon Park Dominik Winterer Chengyu Zhang Zhendong Su

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

genetic algorithm
evolutionary algorithm
generative model
differential evolution
neural network
information retrieval
data driven
test cases
population size