{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,3]]，“日期-时间”：“2024-04-03T06:29:25Z”，“时间戳”：1712125765256}，“参考-计数”：33，“出版商”：“电气与电子工程师学会（IEEE）”，“问题”：“5”，“许可证”：[{“开始”：{-日期-部件“：[2021,5,1]]，”日期-时间“”：“2021-05-01T00:00:00Z”，“timestamp”：1619827200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html”}]，“funder”：[{“name”：“Swiss SNF”，“award”：[“CloSE（200021_149997\/1）”]}，{“name”：“Italian MIUR PRIN project GAUSS”，“奖项”：[“2015KWREMX”]}]，“内容域”：{“域”：[]，“crossmark-restriction”：false}，“short-container-title”：[“IIEEE Trans.Software Eng.”]，“published-print”：{“date-parts”：[[2021,5,1]]}，”DOI“：”10.1109\/tse.2019.2898199“，”type“：”journal-article“，”created“：{”date-part“：[[2019,4,4]]，”date-time“：”2019-04T19:29:55Z“，”timestamp“：1554406195000}“page”：“948-968”，“源”：“Crossref”，“is-referenced-by-count”：4，“title”：[“重用解决方案模理论”]，“prefix”：“10.1109”，“volume”：“47”，“author”：[{“给定”：“安德烈”，“family”：“阿基诺”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：”http://\/ORCID.org\/00000-0002-7566-8051“，”authenticated-ORCID“：false，”given“：”Giovanni“，”family“：”Denaro“，”sequence“：”附加“，”从属关系“：[]}，{“given”：“Mauro”，“family”：“Pezze”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：”ref33“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s10703-016-0263-6“}，{“key”：“，”日志标题“：“Proc Usenix Tech Conf”｝，｛“key”：“ref31”，“doi由”：“publisher”断言，“doi”：“10.1145\/23933596.2393665”｝，｛“key”：“ref30”，“doi由”：“publisher”断言，“doi”：“10.1109\/SP.203.38”｝，｛“key”：“ref10”，“doi由”：“publisher”断言，“doi”：“10.1109\/ASE.2008.69”｝，｛“key”：“ref11”，“首页”：“209”，“文章标题“：“KLEE:为复杂系统程序自动生成高覆盖率测试”，“author”：“cadar”，“year”：“2008”，“journal-title”：“Proc-Symp Oper Syst Des Implementation”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2408776.2408795”}，“author”：“chen”，“year”：“2018”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-36742-7_7”}1995394“}，{”key“：”ref17“，”doi-asserted-by“：”publisher“，”doi“：“10.1007\/978-3-319-08867-9_49”}，{“key”：“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICSTW.2011.98”}8“}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/362686.3692”}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2881025.2881032”}，{“密钥”：“ref3”，“doi-asserte-by”：“publisher”，“DI:”10.1109\/ICSE.2017.46 publisher“，”doi“：”10.1142\/9789812819536_0023“}，{”key“：”ref5“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/ICSE.2013.6606558”}，{“key”：“ref8”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/978-3642-00768-2_16“}，}“key:”ref7“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145\/2786805.2786842“}2771783.2771802“}，{“key”：“ref9”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-12002-2_12”}，{“key”：“ref1”，“author”：“aquino”，“year”：“2017”}“1966年”，“新闻标题”：“苏联物理学Doklady”}，{“key”：“ref21”，“author”：“knuth”，“year”：“2011”，“journal-title”：“组合算法——计算机编程的艺术”}“}，{”key“：”ref26“，”doi-asserted-by“：“publisher”，“DOI”：“10.1007\/978-3642-39799-8_3”}，{“key”：“ref25”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/TSE.2016.2623623“}]，“container-title”：[“IEEE Transactions on Software Engineering”]，“original-title“：[]，“link”：[{“URL”：“http://\\xplorestaging.iee.org\/ielx7\/32\/9430779\/08681653.pdf？arnarne编号=8681653“，”内容类型“：”未指定“，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,12,17]]，“date-time”：“2021-12-17T19:58:37Z”，“timestamp”：1639771117000}，“score”：1，“resource”：{“primary”：“URL”：“https:\/\/ieeexplore.iee.org\/document\/8681653\/”}}，”subtitle“：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2021,5,1]]}，“references-count”：33，“journal-issue”：{“issue”：“5”}，“URL”：“http://\/dx.doi.org\/10.109\/tse.2019.2898199”，“relationship”：{}，”ISSN“：[”0098-5589“，”1939-3520“，”2326-3881“]，”ISSN-type“：[{”value“：”00985589“，”type“:”print“}，{”value“：”1939-35.20“，“type”：”electronic“}”，{“值”：“2326-3881”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期-部件”:[[2021,5,1]]}}}