TY  - JOUR

T1  - Incomplete adaptive distinguishing sequences for non-deterministic FSMs

JO  - IEEE Transactions on Software Engineering

UR  - https://eprints.whiterose.ac.uk/id/eprint/200869

PY  - 2023/07/05

AU  - Turker UC

AU  - Hierons RM

AU  - Barlas G

AU  - El-Fakih K

ED  - 

DO  - DOI: 10.1109/TSE.2023.3291137

PB  - Institute of Electrical and Electronics Engineers

VL  - 49

IS  - 9

SP  - 4371

EP  - 4389

Y2  - 2025/11/05

ER  -