Browsing Waterloo Research by Author "Mora, Federico"
Now showing items 1-1 of 1
-
BanditFuzz: Fuzzing SMT Solvers with Reinforcement Learning
Scott, Joseph; Mora, Federico; Ganesh, Vijay (2020)Satisfiability Modulo Theories (SMT) solvers are fundamental tools in the broad context of software engineering and security research. If SMT solvers are to continue to have an impact, it is imperative we develop efficient ...