Kolchin, A.
(Проблеми програмування, 2018)
The aim of the proposed method is to simplify and improve the process of models debugging and to increase efficiency of model-based test cases generation. Unlike existing methods of models behavior analysis, which produce ...