Journals
Books
Articles by keyword functional testing
Analysis of formal models transformation
S. V. Afanasiev