
-
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...
read it
-
Evaluation of Generalizability of Neural Program Analyzers under Semantic-Preserving Transformations
The abundance of publicly available source code repositories, in conjunc...
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...
read it
-
Testing Neural Program Analyzers
Deep neural networks have been increasingly used in software engineering...
read it
-
Testing Neural Programs
Deep neural networks have been increasingly used in software engineering...
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...
read it
-
Users Issues in using the Internet of Things Systems
Internet of Things (IoT) systems are bundles of networked sensors and ac...
read it
-
An Automated Testing Framework for Conversational Agents
Conversational agents are systems with a conversational interface that a...
read it