Data Flow Testing as Model Checking.

Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural

Browse the full ICSE paper archive.