Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Daniil Stepanov
Observed names:
Daniil, Stepanov,
Степанов, Даниил
Observed institutions:
ITMO University,
Peter the Great St. Petersburg Polytechnic University
ORCID:
0000-0003-1719-0325
Observed ORCID:
0000-0003-1719-0325
OpenAlex ID:
A5089762240
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
·
Daniil Stepanov
, Marat Akhin
, et al.
·
IEEE/ACM International Conference on Automated Software Engineering (ASE)
·
15
PDF
UTBot at the SBFT 2023 Java Tool Competition
2023
·
Dmitry Ivanov
, Alexey Menshutin
, et al.
·
IEEE/ACM International Workshop on Search-Based Software Testing (SBST)
·
6
Type-Centric Kotlin Compiler Fuzzing: Preserving Test Program Correctness by Preserving Types
2021
·
Daniil Stepanov
, Marat Akhin
, et al.
·
IEEE International Conference on Software Testing, Verification and Validation (ICST)
·
6
PDF
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
·
Azat Abdullin
, Daniil Stepanov
, et al.
·
Communications in computer and information science
·
2
Automated Unit Test Generation For Java Programs Using Fuzzing
2023
·
Daniil Stepanov
, Dmitry Ivanov
·
Ivannikov ISPRAS Open Conference (ISPRAS)
·
1
Backend Bug Finder — a platform for effective compiler fuzzing
2022
·
Daniil Stepanov
, Vladimir Itsykson
·
Информационно-управляющие системы
·
1
PDF
Making Bounded Model Checking Interprocedural in (Static Analysis) Style
2021
·
Daniil Stepanov
, Marat Akhin
, et al.
·
Communications in computer and information science
·
1
Show more works
View as search
Works count:
10
Citation count:
32
H-index:
3
I10-index:
1
Year
Topic
Type
