KLEE symbolic execution engine in 2019.

Cristian Cadar Martin Nowack

Published in: Int. J. Softw. Tools Technol. Transf. (2021)

Keyphrases

execution engine
simplex method
linear programming
linear program
query processing
search computing
convergence rate
query execution
map reduce
query language
column generation
multi domain
open source
policy iteration
interior point methods
dynamic programming
data model
database systems