TY  - RPRT
TI  - Overview of Test Coverage Criteria for Test Case Generation from Finite State Machines Modelled as Directed Graphs
AU  - Vaclav Rechtberger
AU  - Miroslav Bures
AU  - Bestoun S. Ahmed
PY  - 2022
UR  - https://arxiv.org/abs/2203.09604
ID  - 2203.09604
ER  -