Write a Blog >>
ASE 2021
Mon 15 - Fri 19 November 2021 Australia

This program is tentative and subject to change.

Tue 16 Nov 2021 11:50 - 11:55 at Kangaroo - Automation
Tue 16 Nov 2021 22:08 - 22:10 at Kangaroo - Tool Demo (1)

This paper describes BeAFix, a tool for automated repair of faulty Alloy models. The tool builds upon the AlloyAnalyzer, the analysis tool for Alloy. It generates repair candidates by mutating a faulty Alloy model, and employs a bounded-exhaustive approach to traverse the space of repair candidates. Since BeAFix’s mutation operators make the space of repair candidates to quickly grow, the tool supports some sound pruning techniques, that allow it to fix Alloy models with more than one faulty line or expression. Additionally, BeAFix does not require tests as a patch acceptance criterion. Although BeAFix supports tests as oracles, our tool is also able to leverage property-based oracles, which are more commonly found in Alloy models in the form of predicate satisfiability and assertion validity checks. A video demonstration of BeAFix can be found at https://youtu.be/5RG40SmlFXQ. The tool’s binaries and further details about its usage, can all be found at http://sites.google.com/view/beafixevaluation.

This program is tentative and subject to change.

Tue 16 Nov

Displayed time zone: Hobart change

11:00 - 12:00
11:00
20m
Talk
Automating User Notice Generation for Smart Contract Functions
Research Papers
Xing Hu Zhejiang University, Zhipeng Gao Monash University, Xin Xia Huawei Software Engineering Application Technology Lab, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
11:20
20m
Talk
End-to-End Automation of Feedback on Student Assembly Programs
Research Papers
Zikai Liu ETH Zurich, Tingkai Liu UIUC, Qi Li Purdue University, Wenqing Luo UIUC, Steven S. Lumetta UIUC
11:40
10m
Talk
An automated model-based approach to repair test suites of evolving web applications
Journal-first Papers
Javaria Imtiaz National University of Computer and Emerging Sciences, Islamabad, Muhammad Zohaib Iqbal National University of Computer and Emerging Sciences, Muhammad Uzair Khan National University of Computer and Emerging Sciences
11:50
5m
Talk
BeAFix: An Automated Repair Tool for Faulty Alloy Models
Tool Demonstrations
Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
11:55
5m
Talk
FLACK: Localizing Faults in Alloy Models
Tool Demonstrations
Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Hamid Bagheri University of Nebraska-Lincoln
22:00 - 23:00
22:00
2m
Talk
EvoMe: A Software Evolution Management Engine Based on Differential Factbase
Tool Demonstrations
Xiuheng Wu Nanyang Technological University, Mengyang Li Nanyang Technological University, Yi Li Nanyang Technological University, Singapore
22:02
2m
Talk
Revizor: A Data-Driven Approach to Automate Frequent Code Changes Based on Graph Matching
Tool Demonstrations
Oleg Smirnov JetBrains Research, Saint Petersburg State University, Artyom Lobanov JetBrains Research, Yaroslav Golubev JetBrains Research, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University
22:04
2m
Talk
SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically
Tool Demonstrations
Bo Shen Peking University, Wei Zhang Peking University, Ailun Yu Peking University, Yifan Shi Peking University, Haiyan Zhao Peking University, Zhi Jin Peking University
22:06
2m
Talk
Automated Code Refactoring upon Database-Schema Changes in Web Applications
Tool Demonstrations
Sophie Xie Whitney Young High School, Junwen Yang University of Chicago, Shan Lu University of Chicago
22:08
2m
Talk
BeAFix: An Automated Repair Tool for Faulty Alloy Models
Tool Demonstrations
Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Guolong Zheng University of Nebraska Lincoln, Hamid Bagheri University of Nebraska-Lincoln, ThanhVu Nguyen George Mason University, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires