Training Automated Test Oracles to Identify Semantic Bugs

• Published in: 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 1051 - 1055
• Main Author: Geethal, Charaka
• Format: Conference Proceeding
• Language: English
• Published: IEEE 01.11.2021
• Subjects: Automated Software Testing; Computer bugs; Functional bugs; Maintenance engineering; Semantic bugs; Semantics; Software; Software engineering; Test Oracle Automation; Training
• ISSN: 2643-1572
• DOI: 10.1109/ASE51524.2021.9678886

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.