SQLaser: Detecting DBMS Logic Bugs with Clause-Guided Fuzzing.
Jin WeiPing ChenKangjie LuJun DaiXiaoyan SunPublished in: CoRR (2024)
Keyphrases
- database management systems
- modal logic
- database systems
- database
- logic programming
- data types
- classical logic
- data structure
- data management
- source code
- query processing
- search space
- multi valued
- data base management systems
- data model
- automated reasoning
- predicate logic
- deontic logic
- propositional variables
- satisfiability testing