• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 会议论文
  5. A Symbolic Execution and Model Learning Approach for Automatic Program Testing

A Symbolic Execution and Model Learning Approach for Automatic Program Testing

来源 :2014年国际计算机科学与软件工程学术会议 | 被引量 : 0次 | 上传用户：youluxihua
【摘 要】
：
We proprosed a symbolic approach and model learing approach for automatic testing.The main idea of our approach is to build an abstract interaction machine as well as its refinement process in order t
【作 者】
：
Shu CHEN Jun-Min YE Min-Kai CHEN 
【机 构】
：
School of Computer Science,HuaZhong Normal University,WuHan 430079,China
【出 处】
：
2014年国际计算机科学与软件工程学术会议
【发表日期】
：
2014年12期
【关键词】
：
Automation Autotesting Symbolic execution Abstract machine 
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
　　We proprosed a symbolic approach and model learing approach for automatic testing.The main idea of our approach is to build an abstract interaction machine as well as its refinement process in order to guild the symbolic execution to the right direction,for the sake of boosting performance and code coverage rate.Experiments show that our approach is more stable and have higher performance and code coverage compared with traditions.
其他文献
Design of an Environmental Monitoring System for Intelligent Agriculture
Environmental monitoring and control is very important for Modern agriculture.Focusing on the requirements of scalability,operability and reliability,the IOT is applied in agricultural monitoring syst
会议
Intelligent agricultureEnvironmental monitoringData acquisitionAuto-control
The Design of the Rural Electric Line Loss Calculation Software
According to the characteristics of the rural distribution grid,the use of simple and effective method of distribution network nodes,numbering the branch line,branch line loss as state variable,the im
会议
Distribution networkLine lossCalculation software
Vehicle Equipment Simulation Training System Based on VIRTOOLS
Virtools 5 has strong interactivity,portability is good,operation and low environmental requirements,combined with practical training,and this paper puts forward Virtools 5 development of onboard equi
会议
SimulationVehicle equipmentVIRTOOLSEquipmentTraining system
Research on NC Machining Simulation System Based on OpenGL
For the intention that students can better grasp the related knowledge about NC technology,understand the use and operation of NC equipment,get familiar with the NC programming,the author researched a
会议
NC machiningOpenGLDynamic simulation
The Embedded Instrument Application in Thermal Automation
Recent years have seen more and more embedded devices used in IA (information appliance),PDA and industrial automation.In this paper,we propose a novel version of the application of embedded devices i
会议
Boiler efficiency lossEmbedded instrumentHardware design
Design of Water-saving Intelligent Irrigation System Based on the Internet of Things Technology
With the rapid development of Internet technology,how to establish the field of intelligent irrigation system based on Internet of things technology,realize the rational management of agricultural wat
会议
The Internet of thingswater-saving irrigationintelligent monitoringwireless s
Design and Construction of Agricultural Information Management and Assistant Decision-making System
The system combined closely with actual crop growth in Guanzhong arid area,and was on the basis of construction of agricultural information database and remote sensing database.It used C# application
会议
WebGISremote sensing technologyagricultural informationassistant decision-mak
Legal Relationship of the Network Monitoring
The network monitoring can be divided into two modes: active and passive.These two modes can prevent crime.But both of them are highly tort.So we must protect the citizens privacy rights by legislatio
会议
Network MonitoringLegal IssuesInfringement of Privacy
A Highly Secure Image Watermarking and Authenticating Algorithm Based on ECC and MIRACL
This paper proposes a highly secure image watermarking and digital signature algorithm based on ECC and MIRACL,the former is on the basis of ECDLP very difficult to solve,and the latter implements all
会议
ECCMIRACLSVDDSWTWatermarking
Study on the Information Security of the Age of Big Data
As one of the era core competitiveness,big data has become a hotspot in the field of information technology after cloud computing,Internet of things.Big data bring decision value for the enterprise an
会议
Big dataInformation securityChallengeCountermeasure