Skip to main content

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