Follow
Mikhail Belyaev
Mikhail Belyaev
Peter the Great St.Petersburg Polytechnic University (SPbPU)
Verified email at kspt.icc.spbstu.ru - Homepage
Title
Cited by
Cited by
Year
Towards load balancing in SDN-networks during DDoS-attacks
M Belyaev, S Gaivoronski
2014 international science and technology conference (modern networking…, 2014
692014
ReduKtor: How we stopped worrying about bugs in kotlin compiler
D Stepanov, M Akhin, M Belyaev
2019 34th IEEE/ACM International Conference on Automated Software…, 2019
132019
Software defect detection by combining bounded model checking and approximations of functions
MK Akhin, MA Belyaev, VM Itsykson
Automatic Control and Computer Sciences 48, 389-397, 2014
112014
Kotlin coroutines: design and implementation
R Elizarov, M Belyaev, M Akhin, I Usmanov
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas…, 2021
102021
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
82017
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
82013
Kex at the 2022 SBST tool competition
A Abdullin, M Akhin, M Belyaev
Proceedings of the 15th Workshop on Search-Based Software Testing, 35-36, 2022
72022
Type-centric Kotlin compiler fuzzing: Preserving test program correctness by preserving types
D Stepanov, M Akhin, M Belyaev
2021 14th IEEE Conference on Software Testing, Verification and Validation…, 2021
72021
LLVM-based static analysis tool using type and effect systems
M Belyaev, V Tsesko
Automatic Control and Computer Sciences 46, 324-330, 2012
52012
Kotlin language specification
M Akhin, M Belyaev
Kotlin Language Specification, 2021
42021
Using a bounded model checker for test generation: how to kill two birds with one SMT solver
M Petrov, K Gagarski, M Belyaev, V Itsykson
Automatic Control and Computer Sciences 49, 466-472, 2015
22015
Fast and safe concrete code execution for reinforcing static analysis and verification
MA Belyaev, VM Itsykson
Моделирование и анализ информационных систем 22 (6), 763-772, 2015
22015
Improving static analysis by loop unrolling on an arbitrary iteration
MA Belyaev, M Akhin, VM Itsykson
Университетский научный журнал, 154-168, 2014
12014
PROCEEDINGS-2021 IEEE 14TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2021
A Nilizadeh, GT Leavens, XBD Le, CS Pasareanu, DR Cok, A Afzal, ...
SIMULATION 229 (240), 0, 2021
2021
Making Bounded Model Checking Interprocedural in (Static Analysis) Style
D Stepanov, M Akhin, M Belyaev
Tools and Methods of Program Analysis: 5th International Conference, TMPA…, 2021
2021
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
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver
M Petrov, K Gagarski, M Belyaev, V Itsykson
Modeling and Analysis of Information Systems 21 (6), 83-93, 2014
2014
Defect Detection: Combining Bounded Model Checking and Code Contracts
M Akhin, M Belyaev, V Itsykson
Modeling and Analysis of Information Systems 20 (6), 22-35, 2013
2013
LLVM-based Static Analysis Tool Using Type and Effect Systems
MA Belyaev, VA Tsesko
Modeling and Analysis of Information Systems 18 (4), 45-55, 2011
2011
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)| 978-1-7281-6836-4/20/$31.00 2021 IEEE| DOI: 10.1109/ICST49551. 2021.00064
R Afonso, A Afzal, W Afzal, BS Ahmed, K Ahmed, BK Aichernig, M Akhin, ...
The system can't perform the operation now. Try again later.
Articles 1–20