{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,8,27]]，“日期-时间”：“2024-08-27T03:05:51Z”，“时间戳”：1724727951158}，“参考-计数”：32，“出版商”：“Springer Science and Business Media LLC”“：”2005-01-01T00:00:00Z“，“timestamp”：1104537600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Program Compute Soft“]，”published-print“：{”date-parts“：[[2005,1]}”，“DOI”：“10.1007\/s11086-005-0008-6”，“type”：“journal-article”，“created”：{“date-parts”用法：[2005,3,24]]，“日期时间”：“2005-03-24T21:43:32Z”，“时间戳”：1111700612000}，“页面”：“10-19”，“源”：“Crossref”，“is-referenced-by-count”：26，“标题”：[“编译器测试方法调查”]，“前缀”：“10.1007”，《卷》：“31”，“作者”：[{“given”：“A.S.”，”“家族”：“Kossatchev”，“序列”：“first”，“从属关系”：[]}，{“给定”：“M.A.”、“family”：“Posypkin”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“CR1”，“unstructured”：“Serebryakov，V.A.，Lektsii po konstruirovaniyu kompilyatorov（编译器设计讲座），莫斯科，1993。”}，{“密钥”：“CR2”，“首页”：“336”，“卷”：“2”，”“作者”：“P.A.Purdom”，“年份”：“1972”，“日志标题”：“BIT”}{“key”：“CR3”，“非结构化”：“Malloy，B.A.和Power，J.F.，《Purdom？s自动生成测试用例算法的解释》，ICIS？01，2001年。”}，{“key”：“CR4”，“doi-asserted-by”：“crossref”，“first page”：《201》，“doi”：“10.1007\/3-540-45314-8_15”，“volume-title”：“计算机科学讲义（软件工程基本方法程序（FASE），2001年）”，“author”：“R.L\u00e4mmel”，“year”：“2001”}，{“key”：“CR5”，“unstructured”：“Zelenova，S.V.，Demakov，A.V.，and Zelenov，S.A.，《形式语言中文本分析器的测试》，Programnye sistemy instrumenty，2001年，第2期。”}、{“密钥”：“CR6”，“非结构化”：“Guilmette，R.F.，TGGS:一种生成高效测试用例生成器的灵活系统，1999年。”，“doi-asserted-by”：“crossref”，“unstructured”：“Maurer，P.M.，用增强的无上下文语法生成测试数据，IEEE软件，1990年，第50？55页。”，“doi”：“10.1109\/52.56422”}，{“issue”：“3”，“key”：“CR8”，“doi-asserted-by”：“年份”：“1992年”，“新闻标题”：“软件实践经验”｝，｛“key”：“CR9”，“doi asserted by”：“crossref”，“nonstructured”：“Sirer，E.和Bershad，B.，在软件测试中使用生产语法，第二次领域特定语言会议记录，1999年。”，“doi”：“10.1145\/33960.331965”｝，｛“key”：“CR10”，“nonstructured”：“使用JSynTestTM进行自动语法测试，http://\/software.qip.us\/jsyntest.htm.”}，{“key”：“CR11”，“unstructured”：“ter Doest，H.，《随机语言和随机语法》，《1994年格罗宁根计算科学学生会论文集》（Groenbaum，H.M.，Kleijn-Hesselink，H.W.，and Lankhast，M.M.M.，Eds.），1994年，第51？59页。”}，“首页”：“100”，“卷”：“10”，“作者”：“W.McKeeman”，“年份”：“1998年”，“新闻标题”：“数字技术杂志”}，{“key”：“CR13”，“非结构化”：“Zelenov，S.V.和Zelenova，S.A.，自动生成测试语法分析阶段的阳性和阴性测试，Programmirovanie（出版中）。”}：“Testirovanie kompilyatorov na osnove formal？noi modeli yazyka”，“author”：“A.K.Petrenko”，“year”：“1992”}，{“key”：“CR15”，“first page”：：“33”，“volume”：”20“，“author”：“J.Harm”，“年份”：“1997”，“journal-title”：“Rostocker Informatic-Berishte”}：“Harm，J.和L\u00e4mmel，R.，《二维近似覆盖》，Informatica，2000年，第24卷，第3期：“Duncan，A.G.和Hutchinson，J.S.，《使用属性语法测试设计和实现》，第五届软件工程国际会议，1981年，第170？178页。”}，{“key”：“CR19”，“doi-asserted-by”：“crossref”，“unstructured”：“Kalinov，A.，Kossatchev，A.，Petrenko，A.，Posypkin，M.，and Shishkov，V.，Coverage-Driven Automated Compiler Test Suite Generation，Proc.of LDTA？2003，Elsevier，2003，vol.82.”，“DOI”：“10.1016\/S1571-0661（05）82625-8”}，{“key”：“CR20”，“unstructured”：“Tretmans，J.，Testing Techniques，2002.”}：“111”，“DOI”：“10.1016\/0950-5849（95）01055-6”，“volume”：“38”，“author”：“C.J.Burgess”，“year”：“1996”，“journal-title”：“Information Software Technol.”}，{“key”：”CR22“，“unstructured”：“Kalinov，A.，Kossatchev，A.，Posypkin，M.，and Shishkov，V.，《使用ASM规范为mpC并行编程语言编译器自动生成测试套件》，第四届国际行动语义学研讨会，2002年，第96？106页。”}，{“key”：“CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Kossatchev，A.S.，Kutter，P.和Posypkin，M.A.，基于编程语言动态语义形式规范的严格一致性测试的自动生成，Programmirovanie，2004年，第4期，第52？67页。”，“DOI”：“10.1023\/B:PACS.0000036420.25147.da”}，{“key”：“CR24”，“非结构化”：“Zelenov，S.V.、Zelenova，S.A.、Kossatchev，A.S.和Petrenko，A.K.，编译器和其他文本处理器的测试生成，Programmirovanie，2003年，第2期，第59？69页。”}，{“key”：“CR25”，“非结构化”：“Kossatchev，A.S.、Petrenko，A.K.、Zelenov，S.V.和Zelenova，S.A.，基于模型的方法在优化编译器自动测试中的应用，国际程序理解研讨会，2004年，第81？88页。”}，{“key”：“CR26”，“非结构化”：“考夫曼，V.Sh.，《翻译人员的标准化和控制》，收录于《Razlichnye aspekty sistemnogo programmmirovaniya（系统编程的各个方面）》，1984年，第47至85页。”}，{“key”：“CR27”，“unstructured”：“Sukhomlin，V.A.，《三标准3C++编程系统》，国际Conf.？《开放系统开发与应用》，1997年，第37至47页，“非结构化”：“Baskakov，Yu.V.，《测试编译器是否符合编程语言标准的测试套件构建原则》，Teoreticheskie i prikladnye problem informatsionnykh tekhnologii（信息技术的理论和应用问题），Sukhomlin，V.A.，Ed.，2001年。”}，{“key”：“CR29”，“非结构性”：“可扩展抽象状态机，http://www.xasm.org.”}，{“问题”：“5”，“密钥”：“CR30”，“首页”：“416”，“卷”：“3”，“作者”：“P.Kutter”，“年份”：“1997”，“新闻标题”：“J.Universal Compute.Sci.”}.，{”问题“：“2”，“key”：“CR31”，“doi-asserted-by”：“crossref”，“第一页”：”13“，“doi”：“10.1145\/226060.226064“，”卷“：”31“，”作者“：”A.拉斯托夫斯基“，“年份”：“1996年”，“日志标题”：“ASM SIGPLAN通知”}，{“密钥”：“CR32”，“非结构化”：“Gurevich，Y.，Evolving Algebras 1993:Lipari Guide，Specification and Validation Methods，B\u00f6rger，E.，Ed.，牛津大学出版社，1995年，第9？36页”}]，“容器标题”：[“编程和计算机软件”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s11086-005-0008-6.pdf”，“content-type”：“application\/pdf”，“内容版本”：“vor”，“intended-application”：“text-mining”}，{“URL”：“http://\/link.stringer.com/article\/10.10007\/s11066-005-0008\/fulltext.html”，“content-type“：”text\/html“，“content-version”：“vor”，“Intendede-version”d-应用程序“：”text-mining“}，{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s11086-005-0008-6”，“content-type”：“未指定”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2020,4,6]]，“日期-时间”：“2020-04-06T13:35:04Z”，“时间戳”：158618010400}，“分数”：1，“资源”：{“主要”：{URL”：“http://\/link.springer.com/10.1007\/s11086-005-0008-6”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2005,1]]}，”引用-计数“：32，”日志-问题“：{”问题“：“1”，“published-print”:{“date-parts”：[2005,1]]{，“alternative-id”：[“8”]，“URL”：“http://\\/dx”。doi.org \/10.1007\/s11086-005-0008-6“，”关系“：{}，”ISSN“：[”0361-7688“，”1608-3261“]，“issn-type”：[{“value”：“0361-7688”，“type”:“print”}，{“value”：“1608-3261”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2005,1]]}}}