Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem. Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 397-413, Springer, 2022. [doi]
Abstract is missing.