research
∙
07/31/2020
On the Generalizability of Neural Program Analyzers with respect to Semantic-Preserving Program Transformations
With the prevalence of publicly available source code repositories to tr...
share
research
∙
04/15/2020
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations
The abundance of publicly available source code repositories, in conjunc...
research
∙
08/27/2019
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
The correctness of compilers is instrumental in the safety and reliabili...
research
∙
08/25/2019
Testing Neural Program Analyzers
Deep neural networks have been increasingly used in software engineering...
research
∙
08/25/2019