research
∙
12/25/2021
DIAR: Removing Uninteresting Bytes from Seeds in Software Fuzzing
Software fuzzing mutates bytes in the test seeds to explore different be...
share
research
∙
12/25/2021
FMViz: Visualizing Tests Generated by AFL at the Byte-level
Software fuzzing is a strong testing technique that has become the de fa...
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...
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
Testing Neural Programs
Deep neural networks have been increasingly used in software engineering...
research
∙
02/18/2019
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...
research
∙
02/18/2019
Users Issues in using the Internet of Things Systems
Internet of Things (IoT) systems are bundles of networked sensors and ac...
research
∙
02/17/2019