J·朱利安德。;O.库什纳伦科。;马森，P.A。;沃伊隆，G。 从事件系统抽象生成测试，以覆盖其状态和转换。 （英语。俄文原件） Zbl 1455.68104号 程序。计算。柔和。 44，第1期，1-14（2018）; 译自Programmirovanie 44，No.1，3-20（2018）。MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人，《计划》。计算。柔和。44，第1号，1-14（2018；Zbl 1455.68104）；译自Programmirovanie 44，No.1，3--20（2018） 全文： 内政部
奥利·萨里基维;凯乔·赫尔扬科 LCTD：LLVM上C程序的测试指导证明。 （英语） Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85，第6期，1292-1317（2016）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko}，J.Log。阿尔盖布。方法计划。85，第61292-1317号（2016年；兹bl 1392.68149） 全文： 内政部