Basic Information Authors: Jooyong Yi, Shin Hwei Tan, Sergey Mechtaev, Marcel Böhme, Abhik Roychoudhury Publication: EMSE'17 Conclusion: In general, with the increase of traditional test suite metrics, the reliability of repairs tend to increase. In…

Some resources: https://www.monperrus.net/martin/automatic-software-repair 2017 [ ] DeepFix: Fixing Common C Language Errors by Deep Learning Rahul Gupta, Soham Pal, Aditya Kanade, Shirish K. Shevade AAAI 2017: 1345-1351 [ ] Contract-based program re…

Basic Information Publication: ICSE'17 Authors: Shin Hwei Tan, Jooyong Yi, Yulis, Sergey Mechtaev, Abhik Roychoudhury Language: C Program Source: Codeforces Programming Contest (Reject/Accept) Description: a set of 3902 defects from 7436 programs aut…

One example to understand SemFix: Program Repair via Semantic Analysis Basic Information Authors: Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury Pulication: ICSE'13 Description: Semantic Program Repair Example Buggy code: Test Suite: Overview…

Latest Paho Status (2) 摘自:http://modelbasedtesting.co.uk/ I last wrote about the state of Paho in October. This post is a continuation of that one. Java Client Some of you might know that James Sutton, who is co-project lead with me and has worked on…

Windows is an extremely effective and a an efficient operating system. Like any other operating system windows too needs a good set of development tools which are extremely necessary for the operating system. Every developer needs to have information…

Docker 1 docker安装 yum install docker [root@topcheer ~]# systemctl start docker [root@topcheer ~]# mkdir -p /etc/docker [root@topcheer ~]# vim /etc/docker/daemon.json #配置阿里云镜像加速 { "registry-mirrors": ["XXXXXXXXXXXXXXXX"] } [root@topchee…

Lambda 一.Lambda的演变 Lambda的演变,从下面的类中可以看出,.Net Framwork1.0时还是用方法实例化委托的,2.0的时候出现了匿名方法,3.0的时候出现了Lambda. lambda组成是:左边(参数列表)+中间( ()=>符号,表示gose to)+右边(方法体).无论怎么演变,lambda本质上还是一个方法. 1 using System; 2 using System.Collections.Generic; 3 using System.Linq; 4 us…

hadoop 2.7.3本地环境运行官方wordcount 基本环境: 系统:win7 虚机环境:virtualBox 虚机:centos 7 hadoop版本:2.7.3 本次先以独立模式(本地模式)来运行. 参考: hadoop docs ​ 1 hadoop 安装 java环境 yum install java-1.8.0-openjdk hadoop下载压缩包并安装 mkdir ~/hadoop/ cd ~/hadoop/ # http://apache.fayea.com/hadoop…

LTE Manual ——Logging(翻译) (本文为个人学习笔记,如有不当的地方,欢迎指正!) 1.17.3 Testing framework(测试框架)   ns-3 包含一个仿真核心引擎.一系列模块.例子程序和测试.随着时间的推移,一些新的贡献者贡献出模型.测试和例子.  Python 测试程序 test.py 作为测试执行管理者:test.py 运行测试代码和例子来寻找 regressions,输出结果有很多种形式,管理代码覆盖分析工具. 此外,我们对  buildslaves  …