Development of Test Suite with Formally Verified FSM Coverage: A Case Study

5206c19df417b8876825b5561344c1a0?s=47 Exactpro
November 09, 2019

Development of Test Suite with Formally Verified FSM Coverage: A Case Study

Rostislav Yavorskiy and Iosif Itkin

International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA-2019)
7-9 November 2019, Tbilisi

Video: https://youtu.be/0FasFDcwYh8

TMPA Conference website https://tmpaconf.org/
TMPA Conference on Facebook https://www.facebook.com/groups/tmpaconf/

5206c19df417b8876825b5561344c1a0?s=128

Exactpro

November 09, 2019
Tweet