Corrections to "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. (2024)
Keyphrases
- constraint solving
- control flow
- software testing
- code coverage
- test cases
- software systems
- constraint propagation
- constraint logic programming
- constraint satisfaction
- constraint satisfaction problems
- source code
- constraint solver
- software development
- test generation
- regression testing
- software engineering
- test suite
- constraint programming
- object oriented
- software projects
- quality assurance
- data flow
- software maintenance
- test set
- database
- database systems
- knowledge management
- modeling language
- information technology
- np hard
- multi agent systems
- high level
- open source
- data sets