Checking Model Consistency Using Data−Flow Testing
Chen−Wei Wang and Alessandra Cavarra
Book Title
16th Asia−Pacific Software Engineering Conference‚ APSEC 2009‚ 1−3 December 2009‚ Batu Ferringhi‚ Penang‚ Malaysia
Editor
Shahida Sulaiman and Noor Maizura Mohamad Noor
ISBN
978−0−7695−3909−6
Pages
414−421
Publisher
IEEE Computer Society
Year
2009