Generating Equality Loop Invariants with Functions Based on Random Testing, Constraint Solving and Verification.
Mengjun LiPublished in: APSEC (2017)
Keyphrases
- constraint solving
- constraint propagation
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- test generation
- formal verification
- model checking
- symbolic execution
- constraint programming
- moment invariants
- dynamic programming
- test cases
- software testing
- constraint solvers