Marat Kh. Akhin

According to our database, Marat Kh. Akhin authored at least 12 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler.

Calin Georgescu, Mitchell Olsthoorn, Pouria Derakhshanfar, Marat Akhin, Annibale Panichella

CoRR, 2024

2023

Kex at the SBFT 2023 Java Tool Competition.

Azat Abdullin, Marat Akhin

Proceedings of the IEEE/ACM International Workshop on Search-Based and Fuzz Testing, 2023

2022

Kex at the 2022 SBST Tool Competition.

Azat Abdullin, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

2021

Kex at the 2021 SBST Tool Competition.

Azat Abdullin, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

Kotlin coroutines: design and implementation.

Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov

Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021

Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.

Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2019

ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.

Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

2017

Borealis Bounded Model Checker: The Coming of Age Story.

Marat Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson

Proceedings of the Present and Ulterior Software Engineering., 2017

2016

By the power of SMT! mining function contracts to better bounded model checking.

Azat Abdullin, Marat Akhin

Proceedings of the 5th International Workshop on Software Mining, 2016

2015

Random model sampling: Making craig interpolation work when it should not.

Marat Kh. Akhin, Sam Kolton, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2015

2014

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

2013

Tree slicing: Finding intertwined and gapped clones in one simple step.

Marat Kh. Akhin, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2013