Checking Model Consistency using Data−Flow Testing
Chen−Wei Wang and Alessandra Cavarra
Book Title
Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference
Publisher
IEEE
Year
2009
Chen−Wei Wang and Alessandra Cavarra