research
∙
08/01/2023
Artifact: Measuring and Mitigating Gaps in Structural Testing
The artifact used for evaluating the experimental results of Measuring a...
share
research
∙
07/29/2023
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned
Defining test oracles is crucial and central to test development, but ma...
research
∙
05/19/2023
Pitfalls in Experiments with DNN4SE: An Analysis of the State of the Practice
Software engineering techniques are increasingly relying on deep learnin...
research
∙
06/21/2021
PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems
A robotic system continuously measures its own motions and the external ...
research
∙
05/26/2021
DNNV: A Framework for Deep Neural Network Verification
Despite the large number of sophisticated deep neural network (DNN) veri...
research
∙
03/03/2021
Self-Checking Deep Neural Networks in Deployment
The widespread adoption of Deep Neural Networks (DNNs) in important doma...
research
∙
12/11/2020
Probabilistic Conditional System Invariant Generation with Bayesian Inference
Invariants are a set of properties over program attributes that are expe...
research
∙
09/17/2020
Deep Learning Software Engineering: State of Research and Future Directions
Given the current transformative potential of research that sits at the ...
research
∙
06/17/2020
A Language for Autonomous Vehicles Testing Oracles
Testing autonomous vehicles (AVs) requires complex oracles to determine ...
research
∙
08/06/2019