92 citations · 242 across the 25 of their papers we have counts for
3 papers · 2 filters
Configuring Test Generators using Bug Reports: A Case Study of GCC Compiler and Csmith
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
The correctness of compilers is instrumental in the safety and reliability of other software systems, as bugs in compilers can produce executables that do not reflect the intent of…
On the Generalizability of Neural Program Models with respect to Semantic-Preserving Program Transformations
Md Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang +3
With the prevalence of publicly available source code repositories to train deep neural network models, neural program models can do well in source code analysis tasks such as pred…
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations
Md Rafiqul Islam Rabin, Mohammad Amin Alipour
The abundance of publicly available source code repositories, in conjunction with the advances in neural networks, has enabled data-driven approaches to program analysis. These app…