Mikhail A. Belyaev

According to our database, Mikhail A. Belyaev authored at least 10 papers between 2012 and 2024.

Collaborative distances:

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

2024

Causal explicit algorithm for heat conduction in a plasma.

Mikhail A. Belyaev

Comput. Phys. Commun., January, 2024

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

2015

Using a bounded model checker for test generation: How to kill two birds with one SMT solver.

Maxim Petrov, Kirill Gagarski, Mikhail A. Belyaev, 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

2012

LLVM-based static analysis tool using type and effect systems.

Mikhail A. Belyaev, V. A. Tsesko

Autom. Control. Comput. Sci., 2012