| Kex at the 2022 SBST Tool Competition A Abdullin, M Akhin, M Belyaev 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing …, 2022 | 9 | 2022 |
| Kex: A platform for analysis of JVM programs AM Abdullin, VM Itsykson Информационно-управляющие системы, 30-43, 2022 | 6 | 2022 |
| Distributed analysis of the BMC kind: Making it fit the tornado supercomputer A Abdullin, D Stepanov, M Akhin Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | 3 | 2018 |
| Kex at the SBFT 2024 Tool Competition A Abdullin, M Akhin Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and …, 2024 | 1 | 2024 |
| Kex at the SBFT 2023 Java Tool Competition A Abdullin, M Akhin 2023 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT …, 2023 | 1 | 2023 |
| Evokex at the SBFT 2024 Tool Competition R Sadykov, A Abdullin, M Akhin Proceedings of the 17th ACM/IEEE International Workshop on Search-Based and …, 2024 | | 2024 |
| Kex at the 2022 SBST Tool Competition A Abdullin, M Akhin, M Belyaev 2022 IEEE/ACM 15th International Workshop on Search-Based Software Testing …, 2022 | | 2022 |
| PROCEEDINGS-2021 IEEE/ACM 14TH INTERNATIONAL WORKSHOP ON SEARCH-BASED SOFTWARE TESTING, SBST 2021 A Abdullin, M Akhin, M Belyaev, D Ivanov, N Bukharev, A Menshutin, ... | | 2021 |
| By the power of SMT! mining function contracts to better bounded model checking A Abdullin, M Akhin Proceedings of the 5th International Workshop on Software Mining, 11-17, 2016 | | 2016 |
| INFORMATION AND CONTROL SYSTEMS AM ABDULLIN, VM ITSYKSON INFORMATION AND CONTROL, 30-43, 0 | | |
Marat AkhinJetBrains ResearchVerified email at jetbrains.com
