Treffer: Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs
Title:
Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs
Authors:
Source:
IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 49(9):4371-4389 Sep, 2023
Database:
IEEE Xplore Digital Library