{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,3,31]]，“日期时间”：“2022-03-31T06:21:02Z”，“时间戳”：1648707662650}，“出版商位置”：“柏林，海德堡”，“参考计数”：13，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642243714”，“类型”：“打印”}，{“值”：“9783642243721”，“type”：“electronic”｝]，“license”：[｛“start”：｛“date parts”：[[2011,1,1]]，“date-time”：“2011-01-01T00:00:00Z”，“timestamp”：1293840000000｝，“content-version”：“unspecified”，“delay in days”：0，“URL”：“http:\/\/www.springer.com\/tdm”｝]，“content-domain”：｛“domain”：[]，“crosmark restriction”：false｝，“short container title”：[]，“published print”：{“date-parts”：[[2011]]}，“DOI”：“10.1007\/978-3642-24372-1_5”，“type”：“book-chapter”，“created”：{（日期-部件）：[[2011，9，29]]，“date-time”：“2011-09-29T09:41:14Z”，“timestamp”：1317289274000}，”page“：”51-59“，”source“Crossref”，“is-referenced-by-count”：0，“title”：[“工业嵌入式软件自动分析”]，“prefix”：“10.1007”，“作者”：[{“给定”：“Moonzoo”，“family”：“Kim”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Yunho”，”family“：”Kim“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“key”：”5_CR1“，”doi-asserted-by“：“crossref”，《非结构化》：“Beyer，D.，Henzinger，T.，Jhala，R.，Majumdar，R.：软件模型检查器爆炸：软件工程应用●●●●。In：Software Tools for Technology Transfer（2007）”，“DOI”：“10.1007\\s10009-007-0044-z”}，｛“key”：“5_CR2”，“nonstructured”：“Burnim，J.：CREST-C的自动测试生成工具，http:\/\/code.google.com\\/p\\CREST\/”｝，｛“key”：“5_CR3”，“series title”：“计算机科学讲义”，“DOI断言者”：“publisher”，“首页”：“359”，“DOI”：“10.1007 \/3-540-45657-0_29“，“volume-title”：“计算机辅助验证”，“author”：“A.Cimatti”，“year”：“2002”，“unstructured”：“Cimatti，A.，Clarke，E.，Giunchiglia，E.，GIUNCIGLIA，F.，Pistore，M.，Roveri，M.、Sebastiani，R.，Tacchella，A.：NuSMV 2:符号模型检查的开源工具。In：Brinksma，E.，Larsen，K.G.（编辑）CAV 2002。LNCS，卷\u00a02404，第359页\u2013364。Springer，Heidelberg（2002）“}，{”key“：”5_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“168”，”doi“：”10.1007\/978-3-540-24730-2_15“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“E.Clarke”，“year”：“2004”，“unstructured”：“”Clarke，E.，Kr\u00f6ning，D.，Lerda，F.：检查ANSI-C程序的工具。收录：Jensen，K.，Podelski，A.（编辑）TACAS 2004。LNCS，第u00a02988卷，第168\u2013176页。Springer，Heidelberg（2004）“}，{“key”：“5_CR5”，“volume-title”：“模型检查”，“author”：“E.Clarke”，“year”：“2000”，“unstructured”：“Clarke，E.，Grumberg，O.，Peled，D.A.：模型检查。麻省理工学院出版社，剑桥（2000）”}，“{”key“：”5_CR6“，“doi-asserted-by”：“crossref”，“非结构化”：“Godefroid，P.，Klarlund，N.，Sen，K.：DART：定向自动随机测试。In:Programming Language Design and Implementation（2005）”，“DOI”：“10.1145\/1065010.1065036”}，{“key”：“5_CR7”，“volume-title”：“The Spin Model Checker”，“author”：“G.Holzmann”，“year”：“2003”，“unstructured”：“Holzmann，G.：The Spin Model Checker.Wiley，New York（2003）”}“，”DOI“：”10.1145\/1592434.1592438“，”卷“：”41“，”作者“：”R.Jhala“，”年份“：”2009“，”非结构化“：”Jhala，R.，Majumdar，R.：软件模型检查。ACM Computing Surveys \u00a041（4），21\u201374（2009）“，”journal-title“：”ACM Computering Surveys“}，{“key”：“5_CR9”，“series-title”：“Computer Science中的讲义”，“doi-asserted-by”：“publisher”，“first page”：”144“，”doi“：”10.1007\/978-3-540-85114-1_12“，”volume-title：“Model Checking Software”，“author”：“M.Kim”，“year”：“2008”，“unstructured”：“”Kim，M.、Choi，Y.、Kim，Y.和Kim，H.：闪存设备驱动程序的正式验证-经验报告。收录：Havelund，K.，Majumdar，R.（编辑）SPIN 2008。LNCS，卷\u00a05156，第144\u2013159页。Springer，Heidelberg（2008）“}，{“key”：“5_CR10”，“doi-asserted-by”：“crossref”，“unstructured”：“Kim，M.，Kim，Y.，Choi，Y.：闪存存储平台软件的多扇区读取操作的简明测试。In：计算的形式方面（待出版）”，“doi”：“10.1007\/s00165-011-0200-9”}非结构化“：”Kim，M.、Kim，Y.、Kim、H.：软件模型检查器作为单元测试工具的比较研究：工业案例研究。IEEE软件工程学报（TSE）37（2）（2011）“，”DOI“：”10.1109\/TSE.2010.68“}，{”key“：”5_CR12“，”DOI-asserted-by“：”crossref“，”unstructured“：”Kim，Y.，Kim，M.，Jang，Y.：嵌入式软件的和谐测试——移动平台程序的案例研究。在：欧洲软件工程会议（ESEC）软件工程基础（FSE）产业跟踪（2011）“，”DOI“：”10.1109“/ICST.2012.119“}，{”key“：”5_CR13“，”DOI-asserted-by“：”crossref“，”unstructured“：”Sen，K.，Marinov，D.，Agha，G.：CUTE：C的协调单元测试引擎。In:欧洲软件工程会议\/软件工程基础，ESEC \/FSE（2005）“，”DOI“：”10.1145\/1081706.1081750“}]，”container-title“：[”验证和分析自动化技术“，”计算机科学讲稿“]，”原文标题“：[]，”链接“：[{”URL“：”http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-24372-1_5“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,12,8]]，“date-time”：”2021-12-08T03:18:44Z“timestamp”：1638933524000}，“score”：1，“resource”：{“primary”：}“URL”：“http://\/link.springer.com/10.1007\/978-3642-24372-1_5“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2011]]}，“ISBN”：[“9783642243714”，“978364 2243721”]，”references-count“：13，”URL“http://\/dx.doi.org\/10007\/978-3642-24472-15”，“relation”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2011]]}}