Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.

Ziqing Luo Stephen F. Siegel

Published in: ISoLA (2) (2018)

Keyphrases

symbolic execution
test generation
static analysis
neural network
source code
specification language
test data generation
real world
genetic algorithm
high level
search algorithm
multi objective
genetic programming