research
∙
06/11/2023
Precise and Generalized Robustness Certification for Neural Networks
The objective of neural network (NN) robustness certification is to dete...
share
research
∙
10/20/2022
Intramorphic Testing: A New Approach to the Test Oracle Problem
A test oracle determines whether a system behaves correctly for a given ...
research
∙
10/20/2022
Forest: Structural Code Editing with Multiple Cursors
Software developers frequently refactor code. Often, a single logical re...
research
∙
11/26/2020
ShapeFlow: Dynamic Shape Interpreter for TensorFlow
We present ShapeFlow, a dynamic abstract interpreter for TensorFlow whic...
research
∙
08/08/2020
Automated Functional Fuzzing of Android Apps
Android apps are GUI-based event-driven software and have become ubiquit...
research
∙
07/16/2020
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction
Database Management Systems (DBMS) are used ubiquitously. To efficiently...
research
∙
04/22/2020
Testing Machine Translation via Referential Transparency
Machine translation software has seen rapid progress in recent years due...
research
∙
04/19/2020
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers
We propose type-aware operator mutation, a simple, but unusually effecti...
research
∙
01/13/2020
Testing Database Engines via Pivoted Query Synthesis
Relational databases are used ubiquitously. They are managed by database...
research
∙
12/19/2019
Metamorphic Testing for Object Detection Systems
Recent advances in deep neural networks (DNNs) have led to object detect...
research
∙
07/19/2019
Structure-Invariant Testing for Machine Translation
In recent years, machine translation software has increasingly been inte...
research
∙
07/03/2019
Learning Blended, Precise Semantic Program Embeddings
Learning neural program embeddings is key to utilizing deep neural netwo...
research
∙
07/03/2019
A Hybrid Approach for Learning Program Representations
Learning neural program embedding is the key to utilizing deep neural ne...
research
∙
03/28/2018
Towards Efficient Data-flow Test Data Generation
Data-flow testing (DFT) checks the correctness of variable definitions b...
research
∙
03/16/2018
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Message Passing Interface (MPI) is the standard paradigm of programming ...
research
∙
01/22/2018
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps
Mobile apps have become ubiquitous. For app developers, it is a key prio...
research
∙
11/20/2017
Dynamic Neural Program Embedding for Program Repair
Neural program embeddings have shown much promise recently for a variety...
research
∙
11/20/2017
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs
Geometry theorem proving forms a major and challenging component in the ...
research
∙
11/20/2017