Applying Model Checking to Data Flow Testing of Components
ZENG Hongwei +; MIAO Huaikou
Journal of Frontiers of Computer Science and Technology . 2010, (12): 1121 -1130 .  DOI: 10.3778/j.issn.1673-9418.2010.12.007