Mikhail A. Belyaev

12 papers A* 1A 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Causal explicit algorithm for heat conduction in a plasma.
Comput. Phys. Commun.
Mikhail A. Belyaev
2022 — conf
Kex at the 2022 SBST Tool Competition.
SBST@ICSE
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
2021 — conf
Kex at the 2021 SBST Tool Competition.
SBST@ICSE
Azat Abdullin, Marat Akhin, Mikhail A. Belyaev
2021 — conf
Kotlin coroutines: design and implementation.
Onward!
Roman Elizarov, Mikhail A. Belyaev, Marat Akhin, Ilmir Usmanov
2021 A conf
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
ICST
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2020 J jnl
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types.
CoRR
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2019 A* conf
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.
ASE
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2019 J jnl
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler.
CoRR
Daniil Stepanov, Marat Akhin, Mikhail A. Belyaev
2017 — ch.
Borealis Bounded Model Checker: The Coming of Age Story.
Present and Ulterior Software Engineering
Marat Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson
2015 J jnl
Using a bounded model checker for test generation: How to kill two birds with one SMT solver.
Autom. Control. Comput. Sci.
Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, Vladimir M. Itsykson
2014 J jnl
Software defect detection by combining bounded model checking and approximations of functions.
Autom. Control. Comput. Sci.
Marat Kh. Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson
2012 J jnl
LLVM-based static analysis tool using type and effect systems.
Autom. Control. Comput. Sci.
Mikhail A. Belyaev, V. A. Tsesko