@第{zbMATH07287057条，作者＝{Julliand，J.和Kouchnarenko，O.和Masson，P.A.和Voiron，G.}，Title={从事件系统抽象中生成测试以覆盖其状态和转换}，FJournal={编程与计算机软件}，Journal＝{Program.Comput.Soft.}，ISSN={0361-7688}，体积={44}，数字={1}，页码={1--14}，年份={2018年}，语言={英语}，DOI＝{10.1134/S0361768818010085}，关键词={68Q60}，zbMATH={7287057}，Zbl={1455.68104}}