TY  - RPRT
TI  - Complete Requirements-based Testing with Finite State Machines
AU  - Wen-ling Huang
AU  - Jan Peleska
PY  - 2021
UR  - https://arxiv.org/abs/2105.11786
ID  - 2105.11786
ER  -