102 citations · 246 across the 21 of their papers we have counts for
3 papers · 1 filter
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…
Trace Diagnostics for Signal-based Temporal Properties
Chaima Boufaied, Claudio Menghi, Domenico Bianculli +1
Most of the trace-checking tools only yield a Boolean verdict. However, when a property is violated by a trace, engineers usually inspect the trace to understand the cause of the v…
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms
Hichem Belgacem, Xiaochen Li, Domenico Bianculli +1
Users frequently interact with software systems through data entry forms. However, form filling is time-consuming and error-prone. Although several techniques have been proposed to…