{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,7,9]],“日期时间”:“2024-07-09T11:11Z”,“时间戳”:1720523471123},“引用计数”:43,“发布者”:“IEEE”,“内容域”:{“域”:[],“交叉标记限制”:false},”短容器时间“:[]”,“发布发布者”:{“日期部分”:[[2014,3]]},“DOI”:“10.1109\/icst.2014.18”,“type”:“proceedings article”,“created”:{“日期部分”:[[2014,6,4]],“日期时间”:“2014-06-04T20:38:45Z”,“时间戳”:1401914325000},“source”:“Crossref”,“由计数引用”:11,“title”:[“On the Right Objectives of Data Flow Testing”],“prefix”:“10.1109”,“author”:[{“given”:“Giovanni”,“family”:“Denaro”,“sequence”:“first”,“affiliation”:[]},{“given”:“Mauro”,“family”:“Pezze”,“sequence”:“additional”,“affaliation”:[]}.,{”given“:”Mattia“,”family“:”Vivanti“,”sequence“:”additional“,”affiliation:[]}],“member”:“263”,“reference”:[{“key”:”19“,”doi-asserted-by“:“publisher”,“doi”:“10.1109\/ICSE.2013.6606563”},:“35”,“首页”:“2”,“文章标题”:“Using valgrind to detect undefined value errors with bit-precision”,“author”:“seward”,“year”:“2005”,“journal-title”:“USENIX年度技术会议纪要”},{“key”:“17”,“doi-asserted-by”:“publisher”,”doi“:”10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K“}”,{”key“:“36”,“doi-asserted-by”,“publishers”,“内政部”:“10.1109\/ICSE.2009.5070546”},{“key”:“18”,“doi-asserted-by”:“publisher”,“doi”:“10.109\/TSE.2006.83”},{“key”:“34”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/1321631.1321673”},{”key“:“16”,“doi-asserted-by”:“publisher”,“doi”:“10.1002\/stvr.417”},{“key”:“39”,“doi-asserted-by”:”publisher“,”doi“:”10.1016\/0020-0190(88)90054-3“},”{“key”:“13”,“doi-assertd-by”:“publisher”,“DI:”10.1109\/ICECCS.2002.1181506“}I“:”10.1109\/TSE.2003.1245302“},{“key”:“37”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/2019599.2019600”},{“key”:“11”,“article-title”:“过程面向对象语言与多态性的集成测试”,“author”:“orso”,“year”:“1999”,“journal-title“:“第十六届国际计算机软件测试会议论文集测试未来趋势”}:“用于自动检测、分析和生成商品软件漏洞攻击的动态污点分析”,“author”:“newsome”,“year”:“2005”,“journal-title”:“第十二届网络与分布式系统安全研讨会”},{“key”:“12”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/347324.348870”}:“mutechnik”,“year”:“1997”,“journal-title”:“Advanced Compiler Design Implementation”},{“key”:“20”,“doi-asserted-by”:“publisher”,”doi“:”10.1109\/IWAST.2013.6595804“},”{“键”:“43”,“首页”:“592”,“文章标题”:“实用面向对象的实时调试”,“author”:“lienhard”,“年份”:“2008”,“日记标题”:“第二十二届欧洲面向对象编程会议纪要”},{“key”:“42”,“doi-asserted-by”:“crossref”,“first page”:《191》,“doi”:“10.1007\/3-540-45875-1_15”,“article-title”:“记忆图形可视化”,“author”:“zimmermann”,“year”:“2002”,“journal-title“:“软件可视化修订讲座”},“article-title”:“程序切片的简要调查”,“volume”:“30”,“author”:“xu”,“year”:“2005”,“journal-title“:”SIGSOFT软件工程笔记“},{“key”:”40“,“first-page”:“121”,“article-title:”程序切片技术调查“,”volume“:”3“,”author“:”tip“,”year“:”1995“,”journal-title“:”journal of Programming Languages“}”,{”key“:“22”,“doi断言者”:“publisher”,“doi”:“10.1145\/7308.75327”},{“key”:“23”,“doi断言者”:“publisher”,“doi”:“10.1109\/ICSE-COMPANION.2009.5071042”},{“key”:“24”,“doi断言者”:“crossref”,“首页”:“126”,“doi”:“10.1007\/3-540-36579-6_10”,“文章标题”:“面向对象编程语言参考分析的精度维度”,“author”:“ryder”,“year”:“2003”,“journal-title”:“第十二届国际编译器构造会议纪要”},{“key”:“25”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/120807.120814”}:“815”,“doi”:“10.1145\/1297846.1297902”,“article-title”:“Randoop:Feedback-directed random testing for Java”,“author”:“pacheco”,“year”:“2007”,“journal-tittle”:“第22届ACM面向对象编程系统和应用程序SIGPLAN会议的伙伴ACM”},{“key”:”28“,”doi-asserted-by“:”publisher“,”doi“:”10.1145\/2025113.2025179“},}”{“密钥”:“29”,“doi-asserted-by”:“publisher”,“doi”:“10.1145\/36018.360025”},{“key”:“3”,“doo-asserted-by”:”publisher“,”doi“:”10.1109\/32.6194“},“key“:”2“,”doi-assert-by“:”publister“,”doi“:“10.1109\/TSE.1985.232226”}95402“},{”键“:”1“,”首页“:”92“,”文章标题“:“程序测试的数据流分析方法”,“volume”:“8”,“author”:“herman”,“year”:“1976”,“journal-title”:“Australian Computer journal”},{“key”:”30“,“auther”:”rodriguez“,”year“:”1969“,”journal-title“:”A Graph Model for Parallel Computation“},”{“密钥”:“7”,“doi-asserted-by”:“crossref”,“first-page”:”191“,”doi“:”10.1109\/ICSE.1994.296778“,“article-title”:“基于数据流和控制流的测试充分性标准的有效性实验”,“author”:“hutchins”,“year”:“1994”,“journal-title:“Proceedings IEEE International Conference on Software Engineering”},{“key”:“6”,“doi-asserted-by”:“publisher”,”doi:“10.1109\/32.238581”}:“10.1109\/ISSRE.2013.6698890”},{“key”:“5”,“doi-asserted-by”:“publisher”,“doi”:“10.109\/32.44376”}“,”doi-asserted-by“:”publisher“,”doi“:”10.1016\/S0164-1212(96)00154-9“},{”key“:”8“,“doi-asserted-by”:“publisher”,“doi”:“10.1002 \/stvr.4370040104”}],“event”:{“name”:“2014 IEEE第七届软件测试、验证和验证国际会议(ICST)”,“location”:“克利夫兰,俄亥俄州,美国”,“start”:{-“date-parts”:[[2014,3,31]]},“end”:{--“date-parts”:[2014,4,4]]}},”container-title“:[“2014 IEEE第七届软件测试、验证和验证国际会议”],“original-title”:[],“link”:[{“URL”:“http://\/xplorestaging.IEEE.org\/ielx7\/6823818\/68223846\/06823867.pdf?arnumber=6823867”,“content-type”:“unspecified”,“content-version”:“vor”,“intended-application”:“similarity-checking”}],“deposed”:{“date-parts”:[[2019,8,11]],“日期-时间”:“2019-08-11T08:01:28Z”,“时间戳”:1565510488000},“分数”:1,“资源”:{“主要”:{“URL”:“http://\/ieeexplore.ieee.org\/document\/6823867\/”}},”副标题“:[],”短标题“:[],”已发布“:{”日期-部分“:[2014,3]]},\/\/dx.doi.org\/10.109\/icst.2014.18“,”关系“:{},”主题“:[],”发布“:{“日期部分”:[[2014,3]]}}