佛罗伦萨伊帕特;都铎州巴勒内斯库 OR状态细化设计的有限状态机测试。 (英语) Zbl 1240.68120号 罗马J。 2,第1期,109-117(2006).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{T.Bălănescu},罗马尼亚期刊2,第1期,109-117(2006年;Zbl 1240.68120)
佛罗伦萨伊帕特;都铎Balanescu 确定性覆盖有限状态机的测试过程。 (英语) Zbl 1240.68121号 罗马J。 1,第2期,115-126(2005).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{T.Balanescu},《罗马杂志》第1卷第2期,第115-126页(2005年;Zbl 1240.68121)
佛罗伦萨伊帕特;都铎州巴勒内斯库 有限状态机测试中的改进。 (英语) Zbl 1102.68066号 芬达姆。通知。 64,编号1-4191-203(2005).MSC公司:65年第68季度 94C12年 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}和\textit{T.B′l′nescu},Fundam。通知。64,编号1--4,191-203(2005;Zbl 1102.68066) 全文: 链接
都铎州巴勒内斯库 具有输出分隔类型的通用流X机器。 (英语) Zbl 1013.68107号 正式Asp。计算。 12,第6期,473-484(2000).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Blnescu},正式Asp。计算。12,第6号,473--484(2000;Zbl 1013.68107) 全文: 内政部