Path constraint solving based test generation for observability-enhanced branch coverage.
Yanhong ZhouHuawei LiTiancheng WangBo LiuYingke GaoXiaowei LiPublished in: VTS (2016)
Keyphrases
- constraint solving
- test generation
- code coverage
- constraint propagation
- test cases
- constraint logic programming
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- symbolic execution
- test suite
- static analysis
- software testing
- quality assurance
- design automation
- constraint programming
- software systems
- constraint solvers
- database
- shortest path
- lower bound
- decision trees