An approach to solving non-linear real constraints for symbolic execution.

Saeed Amiri-Chimeh Hassan Haghighi

Published in: J. Syst. Softw. (2019)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
database
database systems
data model
multi objective
general purpose
source code
specification language