Hyoung Seok Hong Hasan Ural Dependence Testing: Extending Data Flow Testing with Control Dependence. 23-39 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_3 db/conf/pts/testcom2005.html#HongU05