Tianchang Yang, Ali Ranjbar, Gang Tan, Syed Rafiul Hussain: Invariant-Guided Logical Testing of Open RAN Controllers. Zenodo 2025