research
∙
07/31/2023
An Empirical Study on Log-based Anomaly Detection Using Machine Learning
The growth of systems complexity increases the need of automated techniq...
share
research
∙
05/25/2023
Impact of Log Parsing on Log-based Anomaly Detection
Software systems log massive amounts of data, recording important runtim...
research
∙
03/13/2023
Systematic Evaluation of Deep Learning Models for Failure Prediction
With the increasing complexity and scope of software systems, their depe...
research
∙
02/27/2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach
Cyber-Physical Systems (CPS) are most of the time safety-critical and ex...
research
∙
11/29/2022
Rigorous Assessment of Model Inference Accuracy using Language Cardinality
Models such as finite state automata are widely used to abstract the beh...
research
∙
06/08/2022
Trace Diagnostics for Signal-based Temporal Properties
Most of the trace-checking tools only yield a Boolean verdict. However, ...
research
∙
02/17/2022
A Machine Learning Approach for Automated Filling of Data Entry Forms
Users frequently interact with software systems through data entry forms...
research
∙
10/28/2021
An AI-based Approach for Tracing Content Requirements in Financial Documents
The completeness (in terms of content) of financial documents is a funda...
research
∙
06/03/2021
PRINS: Scalable Model Inference for Component-based System Logs
Behavioral software models play a key role in many software engineering ...
research
∙
10/07/2020
Empirical Standards for Software Engineering Research
Empirical Standards are natural-language models of a scientific communit...
research
∙
09/25/2020
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
Cyber-physical systems combine software and physical components. Specifi...
research
∙
04/15/2020
Effective Removal of Operational Log Messages: an Application to Model Inference
Model inference aims to extract accurate models from the execution logs ...
research
∙
10/18/2019
Signal-Based Properties: Taxonomy and Logic-based Characterization
The behavior of a cyber-physical system (CPS) is usually defined in term...
research
∙
08/06/2019
Scalable Inference of System-level Models from Component Logs
Behavioral software models play a key role in many software engineering ...
research
∙
11/16/2018