A Formal Methods Approach for Release Evaluation
In this paper, a formal method-based release evaluation method was developed. During the release evaluation process, two versions of a server are run under similar (or the same) configurations and the system logs are compared. This comparison can be based on graphical analysis, applying fixed rules...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Istanbul University Press
2021-06-01
|
| Series: | Acta Infologica |
| Subjects: | |
| Online Access: | https://cdn.istanbul.edu.tr/file/JTA6CLJ8T5/B1CB0757CB974D9E9980F3F2A63AD5A6 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|