兹宾，R.S。;V.V.库利亚明。;A.V.Ponomarenko。;鲁巴诺夫。;切诺夫，E.S。 广泛健全性测试生成的自动化。 （英语。俄文原件） 兹比尔1191.68199 程序。计算。柔和。 34，第6号，351-363（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛R.S.Zybin｝等人，程序。计算。柔和。34，第6号，351--363（2008；Zbl 1191.68199）；译自Programmirovanie 34，No.6（2008） 全文： 内政部
A.V.德马科夫。;泽列诺夫，S.V。;Zelenova，S.A.公司。 使用抽象模型生成具有复杂结构的测试数据。 （英语。俄文原件） Zbl 1191.68206号 程序。计算。柔和。 34，第6号，341-350（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Demakov}等人，《程序》。计算。柔和。34，第6号，341--350（2008；Zbl 1191.68206）；译自Programmirovanie 34，No.6（2008） 全文： 内政部
内波米纳希。;阿吉洛夫，V.S。;贝洛格拉佐夫，D.M。;Bystrov，A.V.公司。;切夫塔科夫，E.A。;楚里娜，T.G。 使用高级Petri网对SDL指定的通信协议进行建模和验证。 （英语。俄文原件） Zbl 1191.68444号 程序。计算。柔和。 34，第6号，330-340（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Nepominaschy}等人，《计划》。计算。柔和。34，第6330-340号（2008年；兹bl 1191.68444）；译自Programmirovanie 34，No.6（2008） 全文： 内政部
格罗莫夫，M.L。;北卡罗来纳州埃夫图申科。;科洛梅特，A.V。 关于非确定性有限状态机的自适应测试综合。 （英语。俄文原件） Zbl 1185.68387号 程序。计算。柔和。 34，第6号，322-329（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Gromov}等人，程序。计算。柔和。34，第6号，322--329（2008；Zbl 1185.68387）；译自Programmirovanie 34，No.6（2008） 全文： 内政部
新墨西哥州希洛夫。;安努列夫，I.S。;博丁，E.V。 为命令式程序生成正确性条件。 （英语。俄文原件） Zbl 1185.68424号 程序。计算。柔和。 34，第6号，307-321（2008）; 译自Programmirovanie 34，No.6（2008）。MSC公司：第68季度第60季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Shilov}等人，《程序》。计算。柔和。34，第6号，307--321（2008；Zbl 1185.68424）；译自Programmirovanie 34，No.6（2008） 全文： 内政部