Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Thu 18 Nov 2021 10:08 - 10:10 at Kangaroo - LBR + DS Poster (2) (Thursday 21:00 - 00:00) Chair(s): Xiaoyin Wang

Using third-party executable components to build control systems, which is quite common, poses challenges for verification because the informal behavior descriptions that typically accompany the components often fall short of the needed rigor. Consequently, there is a need to formalize a component contract that is strong enough to help establish system properties and also weak enough to account for all potential component behaviors in the system’s context. In this paper, we present a novel approach that allows an analyst to hypothesize a component contract, explore if the component meets the contract, and, if not, have automated support to help repair the contract. Preliminary results show that, in more than 32% of the cases, the repaired contract is logically equivalent to a developer-written one; in a further 63% of cases, it is a distinct, valid, and non-trivial property.

Thu 18 Nov

Displayed time zone: Hobart change

10:00 - 11:00
LBR + DS Poster (2) (Thursday 21:00 - 00:00)Late Breaking Results / Doctoral Symposium at Kangaroo
Chair(s): Xiaoyin Wang University of Texas at San Antonio
10:00
2m
Talk
API Compatibility Issue Detection, Testing and Analysis for Android Apps
Doctoral Symposium
Tarek Mahmud Texas State University
File Attached
10:02
2m
Talk
Towards the generation of machine learning defect reports
Doctoral Symposium
Tuan Dung Lai Deakin University
Pre-print File Attached
10:04
2m
Talk
DSInfoSearch: Supporting experimentation process of data scientists
Doctoral Symposium
Shangeetha Sivasothy Applied Artificial Intelligence Institute, Deakin University
File Attached
10:06
2m
Talk
A First Look at the Effect of Deep Learning inCoverage-guided Fuzzing
Late Breaking Results
Siqi Li Tianjin University, Yun Lin National University of Singapore, Xiaofei Xie Kyushu University, Yuekang Li Nanyang Technological University, Xiaohong Li TianJin University, Weimin Ge Tianjin University, Yang Liu Nanyang Technological University, Jin Song Dong National University of Singapore
10:08
2m
Talk
Counterexample Guided Inductive Repair of Reactive Contracts
Late Breaking Results
Soha Hussein University of Minnesota, USA / Ain Shams University, Egypt, Vaibhav Sharma University of Minnesota, USA, Stephen McCamant University of Minnesota, USA, Sanjai Rayadurgam University of Minnesota, Mats Heimdahl University of Minnesota
10:10
2m
Talk
AST-Transformer: Encoding Abstract Syntax TreesEfficiently for Code Summarization
Late Breaking Results
Ze Tang Software Institute, Nanjing University, Chuanyi Li Software Institute, Nanjing University, Jidong Ge , Xiaoyu Shen Alexa AI, Amazon, Zheling Zhu Software Institute, Nanjing University, Bin Luo Software Institute, Nanjing University
10:12
2m
Talk
An Automated Pipeline for Privacy Leak Analysis of Android Applications
Doctoral Symposium
Yifan Zhou The University of Adelaide
File Attached
10:14
2m
Talk
Detecting Adversarial Samples with Graph-Guided Testing
Late Breaking Results
Zuohui Chen Zhejiang University of Technology, Renxuan Wang Zhejiang University of Technology, Jingyang Xiang Zhejiang University of Technology, Yue Yu College of Computer, National University of Defense Technology, Changsha 410073, China, Xin Xia Huawei Software Engineering Application Technology Lab, Shouling Ji Zhejiang University, Qi Xuan Zhejiang University of Technology, Xiaoniu Yang Zhejiang University of Technology
10:16
2m
Talk
Using Static Analysis to Address Microservice Architecture Reconstruction
Late Breaking Results
Vincent Bushong Baylor University, Dipta Das Baylor University, Abdullah Al Maruf Baylor University, Tomas Cerny Baylor University
10:18
2m
Talk
Applying Semi-Automated Hyperparameter Tuning for Clustering Algorithms
Late Breaking Results
Elizabeth Forest James Cook University, Anne Swinbourne James Cook University, Trina Myers Queensland University of Technology, Mitchell Scovell James Cook University
Link to publication
10:20
2m
Talk
Business Process Extraction Using Static Analysis
Late Breaking Results
Rofiqul Islam Baylor University, Tomas Cerny Baylor University
10:22
2m
Talk
Binary Code Similarity Detection
Doctoral Symposium
Zian Liu Swinburne University of Technology; Data61, CSIRO, Chao Chen James Cook University, Jun Zhang Digital Research & Innovation Capability Platform, Swinburne University of Technology, Dongxi Liu Data61, CSIRO, Muhammad Ejaz Ahmed Data61, CSIRO, Yang Xiang Digital Research & Innovation Capability Platform, Swinburne University of Technology
File Attached
10:24
2m
Talk
Improving Mutation-Based Fault Localization with Plausible-code Generating Mutation Operators
Late Breaking Results
Juyoung Jeon Handong Global University, Shin Hong Handong Global University
10:26
2m
Talk
Using Version Control and Issue Tickets to detect Code Debt and Economical Cost
Late Breaking Results
Abdullah Al Maruf Baylor University, Noah Lambaria Baylor University, Amr Elsayed Baylor University, Tomas Cerny Baylor University
File Attached
10:28
2m
Talk
Human-in-the-Loop XAI-enabled Vulnerability Detection, Investigation, and Mitigation
Late Breaking Results
Tien N. Nguyen University of Texas at Dallas, Kim-Kwang Raymond Choo University of Texas at San Antonio
10:30
2m
Talk
A Prediction Model for Software Requirements Change Impact
Doctoral Symposium
Kareshna Zamani PhD candidate
File Attached
10:32
2m
Talk
Leveraging Code Clones and Natural Language Processing for Log Statement Prediction
Doctoral Symposium
Sina Gholamian University of Waterloo
Pre-print