Login / Signup
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.
Dominik Winterer
Chengyu Zhang
Zhendong Su
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
anomaly detection
database
artificial intelligence
real world
data mining
genetic algorithm
website
database systems
evolutionary algorithm
probabilistic model
software engineering
co occurrence
sat solvers
multiple types
sat instances
modulo theories