Trang, H. H.; Chi, N. T.; Mai, D. T. Specifications Framework for Tests in an Outcome-Based Language Program. JFS 2016, 32.