University of Twente Student Theses
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.
|
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 |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page