Chen-Wei Wang, Alessandra Cavarra. Checking Model Consistency Using Data-Flow Testing. In Shahida Sulaiman, Noor Maizura Mohamad Noor, editors, 16th Asia-Pacific Software Engineering Conference, APSEC 2009, 1-3 December 2009, Batu Ferringhi, Penang, Malaysia. pages 414-421, IEEE Computer Society, 2009. [doi]
Abstract is missing.