Checking Model Consistency Using Data-Flow Testing.

Chen-Wei Wang, Alessandra Cavarra

Browse the full APSEC paper archive.