Higher-order symbolic execution for contract verification and refutation.
Phuc C. NguyenSam Tobin-HochstadtDavid Van HornPublished in: CoRR (2015)
Keyphrases
- symbolic execution
- higher order
- test generation
- test data generation
- static analysis
- specification language
- source code
- data flow
- theorem prover
- test cases
- theorem proving
- pairwise
- inductive inference
- artificial intelligence
- search algorithm
- genetic programming
- programming language
- database
- formal specification
- software testing
- simulated annealing algorithm
- neural network
- databases
- data sets