J·朱利安德。；O.库什纳伦科。；马森，P.-A。；沃伊隆，G。 关联谓词和变体驱动的欠近似生成。 （英语） Zbl 1509.68166号 Catherine Dubois（编辑）等人，《测试和证明》。2018年6月27日至29日，作为2018年STAF的一部分，在法国图卢兹举行了第12届2018年TAP国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10889, 63-82 (2018).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人，Lect。票据计算。科学。10889、63-82（2018年；Zbl 1509.68166） 全文： 内政部
雅克·朱利安德；奥尔加·库什纳伦科；皮埃尔·阿莱·马森；纪尧姆·沃伦 通过覆盖事件系统的状态和转换来近似事件系统抽象。 （英语） Zbl 1461.68114号 Petrenko，Alexander K.（编辑）等人，《系统信息学视角》。2017年6月27日至29日在俄罗斯莫斯科举行的第十一届国际安德烈·埃尔肖夫信息学会议，《2017年防扩散安全倡议》。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。10742, 211-226 (2018).MSC公司：第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand}等人，Lect。票据计算。科学。10742，211-226（2018；Zbl 1461.68114） 全文： 内政部 哈尔
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） 全文： 内政部