| Clone detection: Why, what and how? M Akhin, V Itsykson 2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010 | 21 | 2010 |
| 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 | 16 | 2021 |
| 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 |
| 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 | 8 | 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 |
| Search by example in TouchDevelop: Code search made easy M Akhin, N Tillmann, M Fähndrich, J de Halleux, M Moskal 2012 4th International Workshop on Search-Driven Development: Users …, 2012 | 8 | 2012 |
| Kex at the 2021 SBST Tool Competition A Abdullin, M Akhin, M Belyaev 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing …, 2021 | 7 | 2021 |
| Random model sampling: Making craig interpolation work when it should not M Akhin, S Kolton, V Itsykson Automatic Control and Computer Sciences 49, 413-419, 2015 | 6 | 2015 |
| Ranking Programs in a Marketplace System MK Akhin, N Tillmann, MJ Moskal, JP De Halleux, MA Fahndrich US Patent App. 13/313,032, 2013 | 5 | 2013 |
| Code similarity in TouchDevelop: Harnessing clones M Akhin, N Tillmann, M Fahndrich, J de Halleux, M Moskal Microsoft Technical Report MSR-TR-2011-103, 2011 | 5 | 2011 |
| Interval analysis algorithm for detecting defects in the software source code VM Itsykson, MM Ju, VA Tsesko, AV Zakharov, MH Akhin Informationcontrol systems 2, 34-41, 2009 | 5 | 2009 |
| Kotlin language specification M Akhin, M Belyaev Kotlin Language Specification, 2021 | 4 | 2021 |
| A regression test selection technique based on incremental dynamic analysis M Akhin, V Itsykson 2009 5th Central and Eastern European Software Engineering Conference in …, 2009 | 4 | 2009 |
| Distributed analysis of the BMC kind: Making it fit the tornado supercomputer A Abdullin, D Stepanov, M Akhin Tools and Methods of Program Analysis: 4th International Conference, TMPA …, 2018 | 3 | 2018 |
| Tree slicing: Finding intertwined and gapped clones in one simple step M Akhin, V Itsykson Automatic Control and Computer Sciences 47, 427-432, 2013 | 3 | 2013 |
| Tree slicing in clone detection: Syntactic analysis made (semi)-semantic M Akhin, V Itsykson Modeling and Analysis of Information Systems 19 (6), 69-78, 2015 | 2 | 2015 |
| IMPROVING STATIC ANALYSIS BY LOOP UNROLLING ON AN ARBITRARY ITERATION MA BELYAEV, M AKHIN, VM ITSYKSON УНИВЕРСИТЕТСКИЙ НАУЧНЫЙ ЖУРНАЛ, 154-168, 2014 | 1 | 2014 |
| Evolutionary Generative Fuzzing for Differential Testing of the Kotlin Compiler C Georgescu, M Olsthoorn, P Derakhshanfar, M Akhin, A Panichella arXiv preprint arXiv:2401.06653, 2024 | | 2024 |
Mikhail BelyaevPeter the Great St.Petersburg Polytechnic University (SPbPU)Verified email at kspt.icc.spbstu.ru
