-
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...
07/31/2020 ∙ by Md Rafiqul Islam Rabin, et al. ∙
0
∙
share
read it
-
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations
The abundance of publicly available source code repositories, in conjunc...
04/15/2020 ∙ by Md Rafiqul Islam Rabin, et al. ∙
0
∙
share
read it
-
K-CONFIG: Using Failing Test Cases to Generate Test Cases in GCC Compilers
The correctness of compilers is instrumental in the safety and reliabili...
08/27/2019 ∙ by Md Rafiqul Islam Rabin, et al. ∙
0
∙
share
read it
-
Testing Neural Program Analyzers
Deep neural networks have been increasingly used in software engineering...
08/25/2019 ∙ by Md Rafiqul Islam Rabin, et al. ∙
0
∙
share
read it
-
Testing Neural Programs
Deep neural networks have been increasingly used in software engineering...
08/25/2019 ∙ by Md Rafiqul Islam Rabin, et al. ∙
0
∙
share
read it
-
Topics of Concern: Identifying User Issues in Reviews of IoT Apps and Devices
Internet of Things (IoT) systems are bundles of networked sensors and ac...
02/18/2019 ∙ by Andrew Truelove, et al. ∙
0
∙
share
read it
-
Users Issues in using the Internet of Things Systems
Internet of Things (IoT) systems are bundles of networked sensors and ac...
02/18/2019 ∙ by Andrew Truelove, et al. ∙
0
∙
share
read it
-
An Automated Testing Framework for Conversational Agents
Conversational agents are systems with a conversational interface that a...
02/17/2019 ∙ by Soodeh Atefi, et al. ∙
0
∙
share
read it
