Mikhail Olokin

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Detecting Objects

Underlying Assumptions

Object Oriented Programs

Top Venues

Publications

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov
Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. CoRR (2022)
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim
Detecting unjustified assumptions in subclasses via EO representation. CoRR (2022)