Fuzzing And Symbolic Execution To Identify And Patch Bugs