Short Introduction to This Paper

Many perturbations do not break the correctness in programs. This phenomenon is called "correctness attraction". This paper devises a novel protocol, which considers a systematic exploration of the perturbation space as well as perfect oracles to determine the correctness of the output. To this extent, a qualitative manual analysis enables it to set up the first taxonomy ever of the reasons behind correctness attraction.

Highlights of This Paper

  • A protocol called ATTRACT to study the stability of programs under perturbation
  • Explored the perturbability of 10 subjects for two perturbation models, PONE for integers and PBOOL for booleans.
  • Original taxonomy of the causes behind correctness attraction: natural randomization, potential aternative executions, fixed point effect, extra resources, relaxed problem, nullified perturbation, overfit to input data

Key Infomation

  • An execution perturbation is a runtime change of the value of one variable in a statement or an expression. An execution perturbation has 3 characteristics: time: when the change occurs (e.g. at the second and the fourth iteration of a loop condition), location: where in the code (e.g. on variable ‘i’ at line 42) and perturbation model: what is this change, according to the type of the location (e.g. +1 on an integer value)
  • The perturbation space for an input is composed of of all possible unique perturbed executions according to a perturbation model
  • Correctness attraction is the phenomenon by which the correctness of an output is not impacted by execution perturbation. Correctness attraction means that one can perturb an execution while keeping the output correct according to a perfect oracle

TIM截图20180111155334.png

Relevant Future Works

  • The taxonomy is probably not complete since the benchmark does not reflect the diversity of software

URL

Correctness Attraction - A Study of Stability of Software Behavior Under Runtime Perturbation

P40718-200440.jpg

UNADJUSTEDNONRAW_thumb_1783.jpg

工位的变化,第一张应该是2013~2014年那会儿在朗科的时候,第二张是2017年搬家到飞亚达的时候。多了各种装备,爽得飞起~!

706A0001.JPG

2014年我们在北京召开第二届犀牛鸟创新人才培养研讨会,很久没有主持会议了,那次还真有点紧张,现场照着稿子读的比较快,也不敢抬头。记得开场之后刚哥和飞哥还分别鼓励我,说主持的挺好,语速再慢些、从容一些就更好了~~后来主持的场合多了,也就更自然了,还是要不断练习呀~~

DSC00531.JPG

第一次见到嫄姐是在小吊梨汤,第一印象就是既活泼又干练,特别nice一北京大姐姐
嫄姐加入团队之后主导学生平台建设,我们一起开始热火朝天的做俱乐部、搞校园竞赛、公开课、夏令营……

IMG_2372.JPG

2013年2月份团建唱K,大家应该是第一次一块儿K歌
见识了刚哥的铁嗓,其他每位同事也都唱得好好听
rickie那会儿比较腼腆,现在已经成长为麦霸了[偷笑]