Assessing Software Weakness Detection Capabilities: An Empirical Study of IKOS. - Hripsime Hovhannisyan; Gayane Mirakyan; Edgar Khachatryan; Hayk Aslanyan (ICACT, 2026)