7 citations · 18 across the 19 of their papers we have counts for
3 papers · 1 filter
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer
Piyush Jha, Joseph Scott, Jaya Sriram Ganeshna +2
We present a novel tool BertRLFuzzer, a BERT and Reinforcement Learning (RL) based fuzzer aimed at finding security vulnerabilities for Web applications. BertRLFuzzer works as foll…
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks
Vineel Nagisetty, Laura Graves, Guanting Pan +2
In this paper, we propose a new Deep Neural Network (DNN) testing algorithm called the Constrained Gradient Descent (CGD) method, and an implementation we call CGDTest aimed at exp…
Learning Modulo Theories
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar +3
Recent techniques that integrate \emph{solver layers} into Deep Neural Networks (DNNs) have shown promise in bridging a long-standing gap between inductive learning and symbolic re…