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 NovDisplayed time zone: Hobart change
10:30 - 12:00 | |||
10:30 15mTalk | An Automated Pipeline for Privacy Leak Analysis of Android Applications Doctoral Symposium Yifan Zhou The University of Adelaide File Attached | ||
10:45 15mTalk | Training Automated Test Oracles to Identify Semantic Bugs Doctoral Symposium Charaka Geethal Monash University File Attached | ||
11:00 15mTalk | 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 15mTalk | API Compatibility Issue Detection, Testing and Analysis for Android Apps Doctoral Symposium Tarek Mahmud Texas State University File Attached | ||
11:30 15mOther | Discussion with presenters Doctoral Symposium | ||
11:45 15mTalk | Wrap-up first half DS Doctoral Symposium Li Li Monash University | ||
Wed 17 NovDisplayed 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 2mTalk | 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 2mTalk | 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 2mTalk | Quality analysis of mobile applications with special focus on security aspects Doctoral Symposium Kristiina Rahkema University of Tartu Pre-print | ||
20:06 2mTalk | Semi-automated Cross-Component Issue Management and Impact Analysis Doctoral Symposium Sandro Speth Institute of Software Engineering, University of Stuttgart File Attached | ||
20:08 2mTalk | Cross-Lingual Transfer Learning Framework for Program Analysis Doctoral Symposium Zhiming Li Nanyang Technological University, Singapore | ||
20:10 2mTalk | 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 2mTalk | Tackling Flaky Tests: Understanding the Problem and Providing Practical Solutions Doctoral Symposium Martin Gruber BMW Group, University of Passau File Attached | ||
20:14 2mTalk | Effectively Analyzing Evolving Software with Differential Facts Doctoral Symposium Xiuheng Wu Nanyang Technological University File Attached | ||
20:16 2mTalk | 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 2mTalk | 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 Dash University of Surrey, UK | ||
20:20 2mTalk | Revisiting Textual Feature of Bug-Triage Approach Late Breaking Results | ||
20:22 2mTalk | Training Automated Test Oracles to Identify Semantic Bugs Doctoral Symposium Charaka Geethal Monash University File Attached | ||
20:24 2mTalk | 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 2mTalk | 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 2mTalk | Gas Estimation and Optimization for Smart Contracts on Ethereum Doctoral Symposium Chunmiao Li National Institute of Informatics Pre-print | ||
20:30 2mTalk | Fuzzing Methods Recommendation Based on Feature Vectors Doctoral Symposium Chi Zhang Jiangsu University File Attached | ||