Researchers at Microsoft, Peking University, and the University of Electronic Science and Technology of China have developed the Accurate Condition System (ACS), which automatically repairs defects in software systems. The work is based on the DeepCoder algorithm, which produces programs from problem inputs/outputs. The researchers say ACS achieves improved results compared to other methods by using multiple information sources, especially the "big code" existing on the Internet.
The researchers focused on condition synthesis, and three new types of information sources were added to those in previous tools. The first source yields information by knowing what variables in a local context should be used in an "IF" condition, and a sorting method based on dependency relations between variables. The second source centers on the observation that the application programming interface document can guide the repair process. Finally, ACS performs statistical analysis on the open source program online, finding the conditional probabilities of the operations over the variables and further generating correct patches.
View Full Article
Abstracts Copyright © 2017 Information Inc., Bethesda, Maryland, USA
No entries found