Higher order symbolic execution for contract verification and refutation.
Phuc C. NguyenSam Tobin-HochstadtDavid Van HornPublished in: J. Funct. Program. (2017)
Keyphrases
- symbolic execution
- higher order
- test generation
- static analysis
- test data generation
- specification language
- source code
- data flow
- pairwise
- theorem proving
- theorem prover
- test cases
- description language
- simulated annealing algorithm
- databases
- inductive inference
- evolutionary algorithm
- search space
- relational databases
- decision trees
- genetic algorithm