Model-Based API Testing for SMT Solvers.

Aina Niemetz Mathias Preiner Armin Biere

Published in: SMT (2017)

Keyphrases

modulo theories
open source
source code
application programming interface
neural network
data driven
test cases
third party
numerically stable