TY  - RPRT
TI  - Prioritized Variable-length Test Cases Generation for Finite State Machines
AU  - Vaclav Rechtberger
AU  - Miroslav Bures
AU  - Bestoun S. Ahmed
AU  - Youcef Belkhier
AU  - Jiri Nema
AU  - Hynek Schvach
PY  - 2022
UR  - https://arxiv.org/abs/2203.09596
ID  - 2203.09596
ER  -