Mikhail Olokin

According to our database, Mikhail Olokin authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Detecting unjustified assumptions in subclasses via EO representation.

Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim

CoRR, 2022

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov

CoRR, 2022