欢迎访问江苏省计算机学会网站!    设为首页  |  收藏本站
江苏省计算机学会
  •  当前位置首页 > 新闻中心 > 通知公告
    新闻中心  
    学会动态
    政策法规
    行业新闻
    图片新闻
    通知公告
     
    通知公告
    青年学者学术报告《Practical Program Repair via Bytecode Mutation》
    发布时间:2019-08-06 08:51:47

    南京大学计算机软件新技术国家重点实验室      

     

    要:

            Automated Program Repair (APR) is one of the most recent advances in automated debugging, and can directly fix buggy programs with minimal human intervention. Although various advanced APR techniques (including search-based or semantic-based ones) have been proposed, they mainly work at the source-code level and it is not clear how bytecode-level APR performs in practice. Also, empirical studies of the existing techniques on bugs beyond what has been reported in the original papers are rather limited. In this work, we implement the first practical bytecode-level APR technique, PraPR, and present the first extensive study on fixing real-world bugs (e.g., Defects4J bugs) using JVM bytecode mutation. Our experimental results show that surprisingly even PraPR with only the basic traditional mutators can produce genuine fixes for 17 bugs; with simple additional commonly used APR mutators, PraPR is able to produce genuine fixes for 43 bugs, significantly outperforming state-of-the-art APR, while being over 10X faster. Furthermore, we performed an extensive study of PraPR and other recent APR tools on a large number of additional real-world bugs, and demonstrated the dataset-overfitting problem of recent advanced APR tools for the first time. Lastly, PraPR has also successfully fixed bugs for other JVM languages (e.g., for the popular Kotlin language), indicating PraPR can greatly complement existing source-code-level APR.

    报告人简介:

           Dr. Lingming Zhang is an assistant professor in the Computer Science Department at the University of Texas at Dallas. His research interests lie broadly in software engineering and programming languages. He has authored over 50 papers in premier software engineering or programming language conferences and transactions. He has also served on the program/organization committee or artifact evaluation committee for various international conferences (including ICSE, ISSTA, FSE, ASE, ICST, ICSM, and OOPSLA). He is a recipient of the Google Faculty Research Award, SAMSUNG GRO Award, 2 ACM SIGSOFT Distinguished Paper Awards (at ISSTA'19), and Best Industry Paper Award (at ICST'19).


    时间:89(星期五) 10:00

    地点:计算机科学技术楼230

    上一篇:学术报告《“Receipt-freeness” , “Coercion-resistance” and "Deniability" of online authentication for our social life IT-systems》
    下一篇:没有了
    友情链接:
    江苏省科学技术协会 中国计算机学会 南京大学 南京大学计算机科技与技术系 南京大学软件学院 东南大学计算机科学与工程学院 江苏经贸职业技术学院 南京信息职业技术学院 南京工业职业技术学院 江苏海事职业技术学院 常州信息职业技术学院 国网电力科学研究院 电子科技集团第28研究所 江南计算技术研究所 
       
     

    Copyright (c) 版权所有 江苏省计算机学会         【后台管理】    南京网站建设公司
    秘书处办公室       地址: 江苏省南京市仙林大道163号  邮编:210023   电话/传真:025-89680909   
    秘书处市内联络点   地址: 江苏省南京市汉口路22号     邮编:210093   电话/传真:025-86635622
    电子邮箱:jscs@nju.edu.cn   网址:www.jscs.org.cn    技术支持:南京成旭通信息技术有限公司  

    网站备案号:苏ICP备14049275号

    您是本站第5173745位来客!

    在线客服

    点击这里给我发消息