【摘 要】
：
1 IntroductionrnAutomatically generating a limited number of high-quality inputs to reveal bugs,crashes,and hangs becomes a central problem in software testing
【机 构】
：
State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210023, China“,”Depa
论文部分内容阅读
1 IntroductionrnAutomatically generating a limited number of high-quality inputs to reveal bugs,crashes,and hangs becomes a central problem in software testing research [1].The two most extensively studied approaches to automated test input generation are fuzzing [2] and dynamic symbolic execution [3,4] (DSE).rnBoth fuzzing and DSE can effectively generate structural test inputs for non-trivial programs without human aids,and are extensively studied in existing literatures [3-5].However,they are also considerably different.To further understand in what sense they are similar or different,and to understand the strengths and limitations of both techniques,we raise the following two questions:rn(Q1) How do existing fuzzing and DSE techniques model the input space and manage the search procedure?
其他文献
营养素作为预防肿瘤或肿瘤治疗中的补充剂已经被应用很长时间了。公认的生物活性成分(bioactive food components,BFC)包括多酚类、硒、维生素A、脂肪酸、异硫氰酸盐、烯丙基
突发公共事件发生时,信息呈现海量、快捷和恣肆的流动特征,导致政府在处置这些突发公共危机事件时总感到受舆论的制约空前大,而媒体却抱怨从主流渠道获取真相日益困难,夹在中
摘要：语文阅读教学是小学语文教学中至关重要的构成元素，结合学生的学习需求对阅读教学活动进行改进创新，能激发学生的阅读兴趣，引导学生主动针对小学低年级文本内容进行阅读和探究，进而循序渐进提高教学活动的综合效果。文章结合部编版教材视角，针对小学低年级语文阅读教学策略进行了探究，力求能得出有价值的结论，为小学语文阅读教学改革提供良好的支持，加快语文教学改革的整体进程。 关键词：部编版;小学教育;语文教
唐月，内蒙古作家协会会员，诗作散见于《诗刊》《山花》《十月》《诗选刊》等众多文学期刊及诗歌选本。 中元骊歌 原谅我，我已向月亮请了长假 那些从未圆过的谎与梦，谁还会在乎 它們的形状 夜风将自己挂在枝头 像件抽掉了人的衣服一样，空空荡荡 而河水整宿都在 翻身，河床嘎吱嘎吱响个不停 我知道，你还替我醒着 在一切旧物龟裂的笑纹中 奔跑的野花园 袖口插两把，裤管塞两束 衣领
介绍了一种新的测量凹透镜焦距的方法:复合成象法.该方法通过对凹透镜的两次成象过程中透镜位移的测量,再利用贝塞尔公式将凹透镜的焦距值间接测量出来.此方法的测量精度较高
在目前道路桥梁工程施工过程中,为能够实现施工质量的有效提升,并且使施工过程中各个方面要求得到满足,需要对各种施工技术进行有效应用,而绿色施工技术就是其中比较重要的一
近些年教育体系逐渐完善,越发注重教学模式和质量,使小学语文教学发生很大变化,以往的小学语文教学主要对课本知识学习和巩固,如今教学重点则是以培养小学生听、说、读、写能
本文采用实证分析、比较分析和图表分析的研究方法，使用定性与定量相结合的分析方法，从六西格玛管理的基本思路入手，剖析一个企业导入六西格玛管理时应具备的客观基础，为我国企业
古诗词是中华民族优秀传统文化的重要组成部分,古诗词教学活动的开展对于小学阶段教育实践中学生人文素养的培养产生着关键性的影响.为了在新课程标准的指引下针对小学语文教
学生在学习中会存在许多的教育教学难题,特别是现在人们处在一个比较开放的学习环境中,语文阅读能力在小学中得到了特别关注.在生本教育新理念教学模式中,文章从两个大的方面