Tree slicing: Finding intertwined and gapped clones in one simple step. - Marat Kh. Akhin; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2013)

Software defect detection by combining bounded model checking and approximations of functions. - Marat Kh. Akhin; Mikhail A. Belyaev; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2014)

Random model sampling: Making craig interpolation work when it should not. - Marat Kh. Akhin; Sam Kolton; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2015)

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

Borealis Bounded Model Checker: The Coming of Age Story. - Marat Akhin; Mikhail A. Belyaev; Vladimir M. Itsykson (Present and Ulterior Software Engineering, 2017)

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. - Daniil Stepanov; Marat Akhin; Mikhail A. Belyaev (ASE, 2019)

Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. - Daniil Stepanov; Marat Akhin; Mikhail A. Belyaev (ICST, 2021)

Kotlin coroutines: design and implementation. - Roman Elizarov; Mikhail A. Belyaev; Marat Akhin; Ilmir Usmanov (Onward!, 2021)

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)

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. - Calin Georgescu; Mitchell Olsthoorn; Pouria Derakhshanfar; Marat Akhin; Annibale Panichella (SIGSOFT FSE Companion, 2024)

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

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing. - Qiong Feng; Xiaotian Ma; Ziyuan Feng; Marat Akhin; Wei Song 003; Peng Liang 001 (CoRR, 2025)