Computational Complexity of Edge Coverage Problem for Constrained Control Flow Graphs

Jakub Ruszil, Artur Polański, Adam Roman +1

The article studies edge coverage for control flow graphs extended with explicit constraints. Achieving a given level of white-box coverage for a given code is a classic problem in…