Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural. Data Flow Testing as Model Checking. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA. pages 232-243, IEEE Computer Society, 2003. [doi]
Abstract is missing.