BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement Learning
Joseph Scott, Trishal Sudula, Hammad Rehman, Federico Mora, Vijay Ganesh
Topics & Concepts
Fuzz testingSatisfiability modulo theoriesComputer scienceReinforcement learningSolverMargin (machine learning)Set (abstract data type)SatisfiabilityConstruct (python library)Artificial intelligenceProgramming languageTheoretical computer scienceMachine learningSoftwareSoftware Testing and Debugging TechniquesSoftware Engineering ResearchFormal Methods in Verification