92 citations · 242 across the 25 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LG2019★ 11 cited
Testing Neural Program Analyzers
Md Rafiqul Islam Rabin, Ke Wang, Mohammad Amin Alipour
Deep neural networks have been increasingly used in software engineering and program analysis tasks. They usually take a program and make some predictions about it, e.g., bug predi…
cs.SE2019★ 2 cited
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
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 programs that do not reflect the intents of p…