Tue 16 Nov 2021 11:50 - 11:55 at Kangaroo - Automation Chair(s): Eunsuk Kang
Tue 16 Nov 2021 22:08 - 22:10 at Kangaroo - Tool Demo (1) Chair(s): Sridhar Chimalakonda
Tue 16 Nov 2021 22:08 - 22:10 at Kangaroo - Tool Demo (1) Chair(s): Sridhar Chimalakonda
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.
Tue 16 NovDisplayed time zone: Hobart change
Tue 16 Nov
Displayed time zone: Hobart change
11:00 - 12:00 | AutomationResearch Papers / Tool Demonstrations / Journal-first Papers at Kangaroo Chair(s): Eunsuk Kang Carnegie Mellon University | ||
11:00 20mTalk | 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 20mTalk | 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 10mTalk | 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 5mTalk | 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 5mTalk | 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 | Tool Demo (1)Tool Demonstrations at Kangaroo Chair(s): Sridhar Chimalakonda RISHA Lab, Indian Institute of Technology, Tirupati | ||
22:00 2mTalk | 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 Pre-print | ||
22:02 2mTalk | 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 Pre-print | ||
22:04 2mTalk | SoManyConflicts: Resolve Many Merge Conflicts Interactively and Systematically Tool Demonstrations | ||
22:06 2mTalk | 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 2mTalk | 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 | ||
22:10 2mTalk | RefactorInsight: Enhancing IDE Representation of Changes in Git with Refactorings Information Tool Demonstrations Zarina Kurbatova JetBrains Research, Vladimir Kovalenko JetBrains Research, Ioana Savu Delft University of Technology, Bob Brockbernd Delft University of Technology, Dan Andreescu Delft University of Technology, Matei Anton Delft University of Technology, Roman Venediktov Higher School of Economics, Elena Tikhomirova JetBrains Research, Timofey Bryksin JetBrains Research; HSE University Pre-print | ||