Control Flow Graph (CFG) testing is an approach that comes under white ... Our source code consists of decision statements, nested loops as well as a combination of both to thoroughly illustrate the ...

Abstract: New algorithms for the structuring of arbitrary control-flow graphs are presented ... loops are properly identified even when nested loops share the some header node, and complex compound ...

You can place control statements inside other control statements, for example an `If...Then...Else` block within a `For...Next` loop. A control statement placed ...

To address these issues, we propose an enhanced fuzz testing approach based on the Program Control Flow Graph. Firstly, we construct the program control flow graph using a symbolic execution tool. The ...