Uncovering Bugs in Code Coverage Profilers via Control Flow Constraint Solving.
Yang WangPeng ZhangMaolin SunZeyu LuYibiao YangYutian TangJunyan QianZhi LiYuming ZhouPublished in: IEEE Trans. Software Eng. (2023)
Keyphrases
- constraint solving
- control flow
- software testing
- code coverage
- test cases
- software systems
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- test generation
- quality assurance
- software development
- test suite
- source code
- constraint solver
- regression testing
- constraint programming
- software projects
- test set
- multi agent systems
- object oriented
- software engineering
- information technology
- data flow
- search algorithm
- decision trees
- database
- real world