Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Mon 15 Nov 2021 10:45 - 11:00 at Wombat - DS Session 2
Wed 17 Nov 2021 20:22 - 20:24 at Kangaroo - LBR + DS Poster (1) (Wed 07:00 - 10:00) Chair(s): Maria Spichkova

Can a machine find and fix a Semantic Bug? A Semantic Bug is a deviation from the expected program behaviour that causes to produce incorrect outputs for certain inputs. To identify this category of bugs, the knowledge on the expected program behaviour is essential. The reason is that a program with a semantic bug does not fail (i.e., crash or hang) in the middle of the execution in most scenarios. Thus, only a human (a user or a developer) knowing the correct program behaviour can detect this kind of bug by observing the output. However, identifying bugs solely through human effort is not practical for all software. A Test Oracle is any procedure used to differentiate the correct and incorrect behaviours of a program. This dissertation mainly focuses on developing learning techniques to produce Automated Test Oracles for programs with semantic bugs. Also, discovering methods to incorporate human knowledge effectively for the learning techniques is another concern. The automated test oracles could make semantic bug detection more efficient. Also, such test oracles could guide Automated Program Repair tools to generate more accurate fixes for semantic bugs.

ase21-docsym-75 (ASE_doctoral_symposium_up.pdf)172KiB

Mon 15 Nov

Displayed time zone: Hobart change

10:30 - 12:00
DS Session 2Doctoral Symposium at Wombat
10:30
15m
Talk
An Automated Pipeline for Privacy Leak Analysis of Android Applications
Doctoral Symposium
Yifan Zhou The University of Adelaide
File Attached
10:45
15m
Talk
Training Automated Test Oracles to Identify Semantic Bugs
Doctoral Symposium
Charaka Geethal Monash University
File Attached
11:00
15m
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
11:15
15m
Talk
API Compatibility Issue Detection, Testing and Analysis for Android Apps
Doctoral Symposium
Tarek Mahmud Texas State University
File Attached
11:30
15m
Other
Discussion with presenters
Doctoral Symposium

11:45
15m
Talk
Wrap-up first half DS
Doctoral Symposium
Li Li Monash University

Wed 17 Nov

Displayed time zone: Hobart change

20:00 - 21:00
LBR + DS Poster (1) (Wed 07:00 - 10:00)Doctoral Symposium / Late Breaking Results at Kangaroo
Chair(s): Maria Spichkova RMIT University, Australia
20:00
2m
Talk
Time-Aware Coverage Criteria for Testing of AI-Enabled Hybrid Control Systems
Late Breaking Results
Zhenya Zhang Kyushu University, Deyun Lyu Kyushu university, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Ichiro Hasuo National Institute of Informatics, Japan, Jianjun Zhao Kyushu University
20:02
2m
Talk
Metamorphic Testing on Multi-module UAV Systems
Late Breaking Results
Rui Li Swinburne University of Technology, Huai Liu Swinburne University of Technology, Guannan Lou Macquarie University, Xi Zheng Macquarie University, Xiao Liu School of Information Technology, Deakin University, Tsong Yueh Chen Swinburne University of Technology
20:04
2m
Talk
Quality analysis of mobile applications with special focus on security aspects
Doctoral Symposium
Kristiina Rahkema University of Tartu
Pre-print
20:06
2m
Talk
Semi-automated Cross-Component Issue Management and Impact Analysis
Doctoral Symposium
Sandro Speth Institute of Software Engineering, University of Stuttgart
File Attached
20:08
2m
Talk
Cross-Lingual Transfer Learning Framework for Program Analysis
Doctoral Symposium
Zhiming Li Nanyang Technological University, Singapore
20:10
2m
Talk
Decoupling Server and Client Code Through Cloud-Native Domain-Specific Functions
Late Breaking Results
José Miguel Pérez-Álvarez NAVER LABS Europe, Adrian Mos NAVER LABS Europe, Benjamin V. Hanrahan Pennsylvania State University, Iyadunni J. Adenuga Pennsylvania State University
20:12
2m
Talk
Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions
Doctoral Symposium
Martin Gruber BMW Group, University of Passau
File Attached
20:14
2m
Talk
Effectively Analyzing Evolving Software with Differential Facts
Doctoral Symposium
Xiuheng Wu Nanyang Technological University
File Attached
20:16
2m
Talk
Automatically Annotating Sentences for Task-specific Bug Report Summarization
Late Breaking Results
Akalanka Galappaththi University of Alberta, John Anvik University of Lethbridge, Rafat Bin Islam University of Lethbridge
20:18
2m
Talk
Genetic Optimisation of C++ Applications
Late Breaking Results
Rafail Giavrimis Turing Intelligence Technology, Alexis Butler Turing Intelligence Technology, Constantin Cezar Petrescu University of Surrey, Michail Basios Turing Intelligence Technology, Santanu Kumar Dash University of Surrey, UK
20:20
2m
Talk
Revisiting Textual Feature of Bug-Triage Approach
Late Breaking Results
Zexuan Li Shanghai Jiao Tong University, Hao Zhong Shanghai Jiao Tong University
20:22
2m
Talk
Training Automated Test Oracles to Identify Semantic Bugs
Doctoral Symposium
Charaka Geethal Monash University
File Attached
20:24
2m
Talk
Automated Approach for System-level Testing of Unmanned Aerial Systems
Doctoral Symposium
Hassan Sartaj National University of Computer and Emerging Sciences, Islamabad, Pakistan
File Attached
20:26
2m
Talk
How can Subgroup Discovery help AIOps?
Doctoral Symposium
Youcef REMIL INSA Lyon, INFOLOGIC, Anes Bendimerad Infologic, Mehdi Kaytoue INFOLOGIC, Jean-François Boulicaut INSA Lyon
Pre-print
20:28
2m
Talk
Gas Estimation and Optimization for Smart Contracts on Ethereum
Doctoral Symposium
Chunmiao Li National Institute of Informatics
Pre-print
20:30
2m
Talk
Fuzzing Methods Recommendation Based on Feature Vectors
Doctoral Symposium
Chi Zhang Jiangsu University
File Attached