State Identification for Labeled Transition Systems with Inputs and Outputs: ...

The data set contains source code and an executable for computing adaptive distinguishing tests. Also, it contains dot-files representing the labeled transition systems of the...

本数据集包含用于计算自适应区分测试（adaptive distinguishing tests）的源代码与可执行文件。此外，本数据集还包含用于表示标记迁移系统（labeled transition systems）的DOT文件（dot-files），该标记迁移系统的所属对象原文未完整给出。