Abstract: Testing is an inevitable part of any software engineering process to ensure quality and reliability. Model-based testing is a successful approach for the automated generation of test cases ...

Process mining is a technique that involves extracting insights from event logs to understand and improve business processes. By analyzing event data, process mining techniques reveal the actual flow ...