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...
share
research
∙
07/10/2023
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)
Safe exploration aims at addressing the limitations of Reinforcement Lea...
research
∙
11/29/2022
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Models such as finite state automata are widely used to abstract the beh...
research
∙
10/10/2020
SYMPAIS: SYMbolic Parallel Adaptive Importance Sampling for Probabilistic Program Analysis
Probabilistic software analysis aims at quantifying the probability of a...
research
∙
10/07/2020