Path Constraint Solving Based Test Generation for Hard-to-Reach States.
Yanhong ZhouTiancheng WangTao LvHuawei LiXiaowei LiPublished in: Asian Test Symposium (2013)
Keyphrases
- constraint solving
- test generation
- constraint propagation
- constraint logic programming
- test cases
- constraint satisfaction problems
- design automation
- symbolic execution
- constraint solver
- constraint satisfaction
- test sequences
- quality assurance
- static analysis
- constraint programming
- software testing
- shortest path
- database
- database applications
- np hard
- video sequences