TY  - RPRT
TI  - Compositional Testing For FSM-Based Models
AU  - Bilal Kanso
AU  - Omar Chebaro
PY  - 2014
UR  - https://arxiv.org/abs/1406.2808
ID  - 1406.2808
ER  -