Hyoung Seok Hong Sung Deok Cha Insup Lee Oleg Sokolsky Hasan Ural Data Flow Testing as Model Checking. 232-243 2003 conf/icse/2003 ICSE http://computer.org/proceedings/icse/1877/18770232abs.htm db/conf/icse/icse2003.html#HongCLSU03