5 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…
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…
Tracing Content Requirements in Financial Documents using Multi-granularity Text Analysis
Xiaochen Li, Domenico Bianculli, Lionel C. Briand
The completeness (in terms of content) of financial documents is a fundamental requirement for investment funds. To ensure completeness, financial regulators have to spend signific…