28 citations · 28 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…