University of Twente Student Theses

Login
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.

Effective Fuzzing with Constraint-Aware Oracle to Detect Logical Bugs in Database Management Systems.

Parlanti, Niccolo (2024) Effective Fuzzing with Constraint-Aware Oracle to Detect Logical Bugs in Database Management Systems.

[img] PDF
1MB
Abstract:This thesis introduces a novel method for detecting logical bugs in Database Management Systems (DBMS), focusing on constraints such as CHECK and UNIQUE. It combines a custom oracle that simulates correct DBMS behavior with an evolutionary algorithm that generates diverse SQL queries. The approach aims to thoroughly test DBMS constraint enforcement, addressing areas that traditional testing methods may overlook. The system is designed to efficiently generate and validate queries to detect bugs related to constraint violations in DBMS environments.
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:https://purl.utwente.nl/essays/103785
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page