Build Software to Test Software

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

  1. EXACTPRO
  2. Ideas
  3. Videos

Rostislav Yavorskiy and Iosif Itkin

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

Presentation: https://speakerdeck.com/exactpro/development-of-test-suite-with-formally-verified-fsm-coverage-a-case-study