102 citations · 246 across the 21 of their papers we have counts for
23 papers
Cleaning Logs for Downstream Tasks (Registered Report)
Zahra G. Yazdi, Van-Hoang Le, Nyyti Saarimäki +3
Background: Software systems generate logs during execution to record critical events and runtime information for troubleshooting and monitoring. However, in practice, logs often c…
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…
LLM meets ML: Data-efficient Anomaly Detection on Unstable Logs
Fatemeh Hadadi, Qinghua Xu, Domenico Bianculli +1
Most log-based anomaly detectors assume logs are stable, though logs are often unstable due to software or environmental changes. Anomaly detection on unstable logs (ULAD) is there…
Learning-Based Relaxation of Completeness Requirements for Data Entry Forms
Hichem Belgacem, Xiaochen Li, Domenico Bianculli +1
Data entry forms use completeness requirements to specify the fields that are required or optional to fill for collecting necessary information from different types of users. Howev…
A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection
Shan Ali, Chaima Boufaied, Domenico Bianculli +2
Growth in system complexity increases the need for automated log analysis techniques, such as Log-based Anomaly Detection (LAD). While deep learning (DL) methods have been widely u…
Impact of Log Parsing on Deep Learning-Based Anomaly Detection
Zanis Ali Khan, Donghwan Shin, Domenico Bianculli +1
Software systems log massive amounts of data, recording important runtime information. Such logs are used, for example, for log-based anomaly detection, which aims to automatically…