ApproxSymate: path sensitive program approximation using symbolic execution.

Himeshi De Silva Andrew E. Santosa Nhut-Minh Ho Weng-Fai Wong

Published in: LCTES (2019)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
object oriented
open source
test cases
relational databases
distributed systems