A Plug-in Test Case Generation Method based on Contact Layer Proximity and Node Probability Coverage
Qian Zhongsheng,Hong Dafei,Wang Xiaojin

.

Figure 1.. A program instance and its control flow graph