TY  - RPRT
TI  - Disjunction Composition of BDD Transition Systems for Model-Based Testing
AU  - Tannaz Zameni
AU  - Petra van den Bos
AU  - Arend Rensink
PY  - 2026
UR  - https://arxiv.org/abs/2602.17237
ID  - 2602.17237
ER  -