Halling E, Vain J, Boyarchuk A, Illiashenko O. TEST SCENARIO SPECIFICATION LANGUAGE FOR MODEL-BASED TESTING. IJC [Internet]. 2019Dec.31 [cited 2024Nov.21];18(4):408-21. Available from: https://computingonline.net/computing/article/view/1611