A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification.
Mengjun LiPublished in: ICFEM (2012)
Keyphrases
- constraint solving
- constraint logic programming
- constraint propagation
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- formal verification
- constraint programming
- symbolic execution
- model checking
- test generation
- real world
- software testing
- constraint solvers
- finite domain
- affine transformation
- spatial information
- upper bound