28 citations · 28 across the 5 of their papers we have counts for
5 papers
Syntax-driven Incremental Program Verification of Matching Logic Properties
Domenico Bianculli, Antonio Filieri, Carlo Ghezzi +2
Incrementality is a fundamental design principle to master the complexity of large, long-lived software systems. This principle has been embraced by agile development processes and…
Robust Probabilistic Model Checking with Continuous Reward Domains
Xiaotong Ji, Hanchun Wang, Antonio Filieri +1
Probabilistic model checking traditionally verifies properties on the expected value of a measure of interest. This restriction may fail to capture the quality of service of a sign…
Neural-Based Test Oracle Generation: A Large-scale Evaluation and Lessons Learned
Soneya Binta Hossain, Antonio Filieri, Matthew B. Dwyer +2
Defining test oracles is crucial and central to test development, but manual construction of oracles is expensive. While recent neural-based automated test oracle generation techni…
Probabilistic Counterexample Guidance for Safer Reinforcement Learning (Extended Version)
Xiaotong Ji, Antonio Filieri
Safe exploration aims at addressing the limitations of Reinforcement Learning (RL) in safety-critical scenarios, where failures during trial-and-error learning may incur high costs…
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Donato Clun, Donghwan Shin, Antonio Filieri +1
Models such as finite state automata are widely used to abstract the behavior of software systems by capturing the sequences of events observable during their execution. Neverthele…