Abstract: Software testing ensures systems meet requirements and identifies defects while minimizing manual effort, reducing costs, and enhancing automation. Model-Based Testing (MBT) leverages ...