{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2023,7,12]，“日期-时间”：“2023-07-12T18:49:36Z”，“时间戳”：1689187776444}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：23，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2010,10,17]]}，“DOI”：“10.1145\/1869542.1869570”，“type”：“proceedings-article”，“created”：{“date-parts”：[2010,10,19]]，“date-time”：“2010-10-19T12:41:35Z”，“timestamp”：1287492095000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：13，“title”：[“教学和培训开发人员测试技术和工具支持”]，“前缀”：“10.1145”，“作者”：[{“给定”：“道”，“家庭”：“谢”，“序列”：“第一”，“从属关系”：[}“名称”：“北卡罗来纳州立大学，罗利，北卡罗莱纳州，美国”}]}，{“给出”：“乔纳森”，“家族”：“德哈勒克斯”，“顺序”：“附加”，“附属关系”：：“Microsoft Research，Redmond，WA，USA”}]}，{“given”：“Nikolai”，“family”：“Tillmann”，“sequence”：“additional”，“affiliation”：[{“name”：“Microsoft Research，Redmond，WA，USA”}]neneneep，{”given“：”Wolfram“，”family“：”Schulte“，”sequence“：”additional日期部分“：[[2010,10,17]]}，“参考”：[{“key”：“e_1_3_2_1_1”，“unstructured”：“}}JUnit.http:\/\/www.JUnit.org.}}JUnit.http://\/www.JUnit.org.”}，{“密钥”：“e_1_3_2_1_1_”，“非结构化”：“{}Microsoft研究代码合同。http://\/research.microsoft.com/en-us\/projects\/contracts。}}Microsoft研究代码合同。http://\/research.microsoft.com/en-us\/projects\/contracts。“}，{”key“：”e_1_3_2_1_3_1“，”unstructured“：”}}Microsoft Research Pex。http://\/research.microsoft.com/Pex.}}Microsoft Research Pex。http://research.microsoft.com/Pex。“}，{”键“：”e_1_3_2_1_4_1“，”非结构化“：”}}NUnit。网址：\/\/www.nunit.org\/.}}NUnit公司。网址：http://www.nup.org/。“}，{”key“：”e_1_3_2_1_5_1“，”unstructured“：”}}Pex是为了好玩。http://www.pexforfun.com/.}}Pex是为了好玩。http://www.pexforfun.com/。“}，{”key“：”e_1_3_2_1_6_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1355340”}，“key”：“e_1_a_2_1_7_1”，“volume-title”：“测试驱动开发：示例”，“author”：“Beck K.”，“year”：“2003”，“unstructured”：“}K.Beck”。测试驱动开发：通过示例。Addison-Wesley，2003年。}}K·贝克。测试驱动开发：通过示例。Addison-Wesley，2003年。“}，{”key“：”e_1_3_2_1_8_1“，”doi-asserted-by“：”publisher“，“doi”：“10.5555\/1894386.1894400”}，“key”：“e_1_3_2_1_9_1”，“首页”：“337”，“volume-title”：“Proc.TACAS”，”author“：”L.，“年份”：“2008”，“非结构化”：“}}L.M.de Moura和N.Bj\u00f8rner。Z3：一个高效的SMT求解器。程序中。TACAS，第337-340页，2008年。}}L.M.de Moura和N.Bj\u00f8rner。Z3：高效的SMT求解器。程序中。TACAS，第337-340页，2008年。“}，{“key”：“e_1_3_2_1_10”，“volume-title”：“重构：改进现有代码的设计”，“author”：“Fowler M.”，“year”：“1999”，“unstructured”：“}}M.Fowler。重构：改进现有代码的设计。Addison-Wesley，1999年。}}M.福勒。重构：改进现有代码的设计。Addison-Wesley，1999.“}，{”key“：”e_1_3_2_11_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1065010.1065036“}”，{“key”：“e_1_ 3_2_12_1”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/BF00260922”}，“key“”：“e_1_3_2_13_1”，”doi-asserted-by“”：63259“}，{”键“：”e_1_3_2_1_14_1“，”卷时间“：”基于模型的软件测试与分析（C#），“作者”：“Jacky J.”，“年份”：“2008”，“非结构化”：“}}J.Jacky，M.Veanes，C.Campbell，and W.Schulte。使用C#进行基于模型的软件测试和分析。剑桥大学出版社，2008年。}}J.Jacky、M.Veanes、C.Campbell和W.Schulte。使用C#进行基于模型的软件测试和分析。剑桥大学出版社，2008年。“}，{”key“：”e_1_3_2_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/360248.360252”}，“key”：“e_1_3_2_17_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/IWAST.2009.5069054“yer B.”，“year”：“1988”，“unstructured”：“}}B.”。迈耶。面向对象的软件构造。普伦蒂斯·霍尔，1988年。}}B.梅耶。面向对象的软件构造。Prentice Hall，1988。“}，{”key“：”e_1_3_2_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ICSM.2010.5609565”}，“key”：“e_1_ 3_2_1_20_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/1081706.1081750“}”，{\/1792786.1792798“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1081706.1081749“}，{”key“：”e_1_3_2_1_23_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ASE.2006.51”}，“key”：“e_1_ 3_2_1_2 6_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/ICSM.2010.5609672“}]，”event“：{”name“：”SPLASH'10:系统编程语言和应用程序：人性化软件“，”location“：”Reno美国Tahoe Nevada“，”缩写词“：”SPLASH'10“，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]}，“container-title”：[《ACM面向对象编程系统语言和应用程序伙伴国际会议论文集》]，“原始标题”：[]，“链接”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1869542.1869570”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,6]]，”date-time“：“2023-01-06T22:04:09Z”，“timestamp”：1673042649000}，“score”：1，“resource”：{“primary”:{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/1869542.1869570”}}，”subtittle“：[]，“短标题”：[]，”已发布“：{”date-parts“：[[2010,10,17]]}，”references-count“：23，”alternative-id“：[”10.1145\/1869542.1869570“，”10.1145\/1869542“]，”URL“：”http://\/dx.doi.org\/10.1145\/18695 42.1869570\“，”relationship“：“name”：“published”，“label”：“published”，“group”：{“name”publication_history“，”label“：”出版物历史“}}]}}