By the power of SMT! mining function contracts to better bounded model checking. - Azat Abdullin; Marat Akhin (SoftwareMining@ASE, 2016)

Kex at the 2021 SBST Tool Competition. - Azat Abdullin; Marat Akhin; Mikhail A. Belyaev (SBST@ICSE, 2021)

Kex at the 2022 SBST Tool Competition. - Azat Abdullin; Marat Akhin; Mikhail A. Belyaev (SBST@ICSE, 2022)

Kex at the SBFT 2023 Java Tool Competition. - Azat Abdullin; Marat Akhin (SBFT, 2023)

Kex at the SBFT 2024 Tool Competition. - Azat Abdullin; Marat Akhin (SBFT@ICSE, 2024)

Evokex at the SBFT 2024 Tool Competition. - Rustam Sadykov; Azat Abdullin; Marat Akhin (SBFT@ICSE, 2024)

Test Wars: A Comparative Study of SBST, Symbolic Execution, and LLM-Based Approaches to Unit Test Generation. - Azat Abdullin; Pouria Derakhshanfar; Annibale Panichella (ICST, 2025)

Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis. - Rustam Sadykov; Azat Abdullin; Marat Akhin (CoRR, 2025)