Parametrized log checker. The tool will be used as a test oracle whether the system monitored by the tool executes correctly. The tool checks during run-time the log produced by the system, and reports violations of expected sequences of log events.
The tool is being refactored towards better performance, a new garbage collector of monitored sequences is developed, a new style of specification of log sequences is developed
Relationships with other web-repo artefacts
Improvement Classification
Number of safety/security requirement violations
Open source - Goals
Cybersecurity, Safety, Functional Requirements

There are currently no items in this folder.