Search
Now showing items 1-2 of 2
Automated refinement of models for model-based testing
(2017-07)
Model-Based Testing (MBT) enables automatic generation of test cases based on models of a system. It has been successfully applied in various application domains, each of which might introduce specific challenges. In this ...
Scalable analysis of large-scale system logs for anomaly detection
(2019-05-30)
System logs provide information regarding the status of system components and various events that occur at runtime. This information can support fault detection, diagnosis and prediction activities. However, it is a ...
Share this page