Publication | Open Access
Griffin : Grammar-Free DBMS Fuzzing
39
Citations
17
References
2022
Year
Unknown Venue
EngineeringVerificationTest Data GenerationSoftware EngineeringSoftware AnalysisFormal VerificationData ScienceTest OracleTest AutomationFuzzingProgramming Language TheoryGrammar DependenciesComputer ScienceDbms FuzzingAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsStrict ValidationGrammar-free Dbms FuzzingSymbolic Execution
Fuzzing is a promising approach to DBMS testing. One crucial component in DBMS fuzzing is grammar: since DBMSs enforce strict validation on inputs, a grammar improves fuzzing efficiency by generating syntactically- and semantically-correct SQL statements. However, due to the vast differences in the complex grammar of various DBMSs, it is painstaking to adapt these fuzzers to them. Considering that lots of DBMSs are not yet well tested, there is an urgent need for an effective DBMS fuzzing approach that is free from grammar dependencies.
| Year | Citations | |
|---|---|---|
Page 1
Page 1