TY  - JOUR

T1  - Incomplete adaptive distinguishing sequences for non-deterministic FSMs

JO  - IEEE Transactions on Software Engineering

PY  - 2023/06/26

AU  - Turker UC

AU  - Hierons R

AU  - Barlas G

AU  - El-Fakih K

ED  - 

PB  - Institute of Electrical and Electronics Engineers

Y2  - 2024/12/21

ER  -