Monash University
Browse
Charaka_kapugama_thesis_final_version.pdf (2.13 MB)
Download file

Training Automatic Test Oracles to Identify Semantic Bugs

Download (2.13 MB)
thesis
posted on 2023-05-25, 13:05 authored by Charaka Geethal Kapugama Kapugamawasangamagedon
When a program produces incorrect or unexpected outputs for certain inputs without being crashed, there exists a semantic bug in the program. For example, assume a calculator that incorrectly says 2+2=5 (instead of 4) while performing the other mathematical operations correctly. Only a human who knows expected behaviour can detect this type of bug in most scenarios. This thesis mainly focuses on developing learning techniques to produce automated models called test oracles to identify test failures under a semantic bug. Moreover, it explores how to use this learning process to automatically fix a semantic bug.

History

Campus location

Australia

Principal supervisor

Aldeida Aleti

Additional supervisor 1

Marcel Boehme

Additional supervisor 2

Thuan Pham

Year of Award

2023

Department, School or Centre

Software Systems & Cybersecurity

Course

Doctor of Philosophy

Degree Type

DOCTORATE

Faculty

Faculty of Information Technology