<b>Mithra's Replication Package</b><br>In this replication package, we provided <i>Mithra</i> and <i>AR-SI</i>'s implementations, the dataset of 24 bugs on <i>ArduPilot</i> v3.6.9 that we used for evaluation, and 2500 traces of unlabeled training data and 466 evaluation traces (233 erroneous and 233 correct traces). In addition, we provide the dataset of 153 bugs on <i>F1tenth</i> that we used for evaluation, and 75 traces of unlabeled training data and 522 evaluation traces (261 erroneous and 261 correct traces).…