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