Please use this identifier to cite or link to this item:
Title: Automated Regression Testing and Verification of Complex Code Changes
Keywords: test generation, test suite augmentation, error complexity, change interaction errors, Partition-based Regression Verification, CoREBEnch
Issue Date: 27-Mar-2014
Citation: MARCEL BOEHME (2014-03-27). Automated Regression Testing and Verification of Complex Code Changes. ScholarBank@NUS Repository.
Abstract: In this dissertation, we answer how to determine the semantic impact of a complex change and just how complex a "complex change" really is. We answer whether the interaction of the simple changes constituting the complex change can result in regression errors, what the prevalence and nature of such (change interaction) errors is, and how to expose them. We answer how complex a "complex error" really is and whether regression errors due to change interaction are more complex than other regression errors. We make available an open-source tool, CyCC, to measure the complexity of Git source code commits, a test generation tool, Otter_Graph, for C programs that exposes change interaction errors, and a regression error subject suite, CoREBench, consisting of a large number of genuine regression errors in open-source C programs for the controlled study of regression testing, debugging, and repair techniques.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
Dissertation.pdf1.93 MBAdobe PDF



Page view(s)

checked on Oct 14, 2021


checked on Oct 14, 2021

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.