Linked Presentation: DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query GenerationPrecise and Generalized Robustness Certification for Neural Networks
