伊斯梅尔·罗德里格斯;费尔南多·罗莎·维拉尔多;费尔南多·鲁比奥 将复杂性引入正式测试。 （英语） Zbl 1494.68099号 J.日志。阿尔盖布。方法计划。 111，文章ID 100502，30 p.（2020）.MSC公司：65年第68季度 68米15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Rodríguez}等人，J.Log。阿尔盖布。方法计划。111，文章ID 100502，30 p.（2020；Zbl 1494.68099） 全文： 内政部
El-Fakih，哈立德;叶夫图申科，尼娜;纳塔利亚·库什克 非确定性有限状态机的自适应区分测试用例：测试用例推导和长度估计。 （英语） Zbl 1382.68134号 正式Asp。计算。 30，第2号，319-332（2018）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.El-Fakih}等人，《形式Asp》。计算。30，第2号，319--332（2018；Zbl 1382.68134） 全文： 内政部
帕维尔·潘特列夫 预设变换半群的判别序列和直径。 （英语） Zbl 1451.68159号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。8977, 353-364 (2015).MSC公司：65年第68季度 20平方米 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{P.Pantelev}，莱克特。注释计算。科学。8977，353--364（2015；Zbl 1451.68159） 全文： 内政部 arXiv公司
纳塔利亚·库什克;叶夫图申科，尼娜 通过同步自动机描述非确定性有限状态机的归位和识别序列。 （英语） Zbl 1465.68157号 Drewes，Frank（编辑），自动机的实现和应用。2015年8月18日至21日在瑞典乌梅举行的2015年CIAA第20届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9223, 188-198 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kushik}和\textit{N.Yevtushenko}，莱克托。注释计算。科学。9223188-198（2015年；兹比尔1465.68157） 全文： 内政部