Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations.

Jan Peleska, Wen-ling Huang

Browse the full FMICS paper archive.