Marat Akhin

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 11

Top Topics

Test Case Selection

Programs Written

Distributed Memory Machines

General Purpose

Top Venues

SoftwareMining@ASE

Publications

Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. CoRR (2024)
Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella
Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler. SIGSOFT FSE Companion (2024)
Azat Abdullin, Marat Akhin
Kex at the SBFT 2023 Java Tool Competition. SBFT (2023)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2022 SBST Tool Competition. SBST@ICSE (2022)
Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov
Kotlin coroutines: design and implementation. Onward! (2021)
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
Kex at the 2021 SBST Tool Competition. SBST@ICSE (2021)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. ICST (2021)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types. CoRR (2020)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. ASE (2019)
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler. CoRR (2019)
Azat Abdullin, Marat Akhin
By the power of SMT! mining function contracts to better bounded model checking. SoftwareMining@ASE (2016)