| Towards load balancing in SDN-networks during DDoS-attacks M Belyaev, S Gaivoronski 2014 international science and technology conference (modern networking …, 2014 | 69 | 2014 |
| 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 | 13 | 2019 |
| 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 | 11 | 2014 |
| 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 | 10 | 2021 |
| Borealis bounded model checker: the coming of age story M Akhin, M Belyaev, V Itsykson Present and Ulterior Software Engineering, 119-137, 2017 | 8 | 2017 |
| Yet another defect detection: Combining bounded model checking and code contracts M Akhin, M Belyaev, V Itsykson PSSV 13, 1-11, 2013 | 8 | 2013 |
| 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 | 7 | 2022 |
| 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 | 7 | 2021 |
| LLVM-based static analysis tool using type and effect systems M Belyaev, V Tsesko Automatic Control and Computer Sciences 46, 324-330, 2012 | 5 | 2012 |
| Kotlin language specification M Akhin, M Belyaev Kotlin Language Specification, 2021 | 4 | 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 Automatic Control and Computer Sciences 49, 466-472, 2015 | 2 | 2015 |
| Fast and safe concrete code execution for reinforcing static analysis and verification MA Belyaev, VM Itsykson Моделирование и анализ информационных систем 22 (6), 763-772, 2015 | 2 | 2015 |
| Improving static analysis by loop unrolling on an arbitrary iteration MA Belyaev, M Akhin, VM Itsykson Университетский научный журнал, 154-168, 2014 | 1 | 2014 |
| 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, ... | | |
Marat AkhinJetBrains ResearchVerified email at jetbrains.com
