16 citations · 40 across the 13 of their papers we have counts for
3 papers · 1 filter
CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
Prithwish Jana, Piyush Jha, Haoyang Ju +3
In this paper, we present an LLM-based code translation method and an associated tool called CoTran, that translates whole-programs from one high-level programming language to anot…
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…