｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,4,12]]，“日期-时间”：“2024-04-12T07:44:44Z”，“时间戳”：1712907884903｝，“发布者位置”：“柏林，海德堡”，“引用计数”：5，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783642329425”，“类型”：“打印”｝，｛“值”：“9783642329432”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2012]]}，”DOI“：”10.1007\/978-3642-32943-2_13“，”type“：”book-capter“，”created“：”{“date-part”：[2012,8,28]]，“date-time”：“2012-08-28T04:599:35Z“，”时间戳“：1346129975000}，”页面“：”164-167“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“SmartTestGen+：增强结构覆盖的测试套件增强器”]，“prefix”：“10.1007”，”author“：[{”given“：”S.“，”family“：”Raviram“，”sequence“：”first“，”affiliation“：[]}，{”given“:”P.“，“，”序列“：“additional”，“affiliation”：[]}，{“given”：“S.”，“family”：“Ramesh”，“sequence”：“additive”，“abfiliation“：[]2]，“member”：“297”，“reference”：[{“key”：”13_CR1“，”unstructured“：”The Mathworks，\n\n http://www.Mathworks.com“}：“Reactis，\n\n http://www.reactive-systems.com”}，{“key”：“13_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Satpathy，M.，Yeolekar，A.，Ramesh，S.：Simulink\/Stateflow模型的随机定向测试（REDIRECT）。In:ACM EMSOFT 2008，Atlanta（2008）”，“doi”：“10.1145\/1450058.1450088”}，“unstructured”：“The Mathworks，Verification and Validation Tool Box，\n\n http://www.Mathworks.com/Verification-Validation//”}，{“key”：“13_CR5”，“doi-asserted-by”：“crossref”，“非结构化”：“Paranandam，P.，et al.：覆盖Simulink状态流模型的集成测试生成工具。In:IEEE DATE 2012（2012）的程序”，“DOI”：“10.1109 DATE.2012.6176485”}]，“container-title”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学中的课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-32943-2_13.pdf”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[[2021,5,4]]，“日期-时间”：“2021-05-04T11:49:45Z”，“时间戳”：162012898500}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\/link.springer.com/10.1007\/978-3642-32943-2_13”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[2012]]}N“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，“type”：”print“}，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2012]]｝｝