Author Info
Name
Affiliation
Papers
MIKHAIL A. BELYAEV
St. Petersburg State Polytechnic University,St. Petersburg,Russia
3
Collaborators
Citations 
PageRank 
6
2
1.10
Referers 
Referees 
References 
3
29
10
Title
Citations
PageRank
Year
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types00.342021
ReduKtor - How We Stopped Worrying About Bugs in Kotlin Compiler.00.342019
Software defect detection by combining bounded model checking and approximations of functions.20.432014