SAT-solving technologies

Paper | Preprint | 2022 | En

Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits

Semenov, A., Chukharev, K., Tarasov, E., Chivilikhin, D., & Kondratiev, V.

PDF icon

Paper | Preprint | 2022 | En

Polynomial formulations as a barrier for reduction-based hardness proofs

Kulikov, A. S., & Mihajlin, I.

PDF icon

Symbolic execution

Paper | ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI-2021) | 2021 | En

Beyond the elementary representations of program invariants over algebraic data types

Kostyukov, Y., Mordvinov, D., & Fedyukovich, G.

PDF icon

Paper | 33rd European Conference on Object-Oriented Programming (ECOOP 2019) | 2019 | En

On Satisfiability of Nominal Subtyping with Variance

Misonizhnik, A., & Mordvinov, D.

PDF icon

Paper | 2019 Formal Methods in Computer Aided Design (FMCAD-2019) | 2019 | En

Property directed inference of relational invariants

Mordvinov, D., & Fedyukovich, G.

PDF icon

Paper | International Conference on Logic for Programming, Artificial Intelligence and Reasoning | 2017 | En

Synchronizing Constrained Horn Clauses

Mordvinov, D., & Fedyukovich, G.

PDF icon

UnitTestBot Java

Competition | IEEE/ACM International Workshop on Search-Based Software Testing (SBST) | 2022 | En

UTBot Java at the SBST2022 Tool Competition

Dmitry Ivanov, Alexey Menshutin, Denis Fokin, Yury Kamenev, Sergey Pospelov, Egor Kulikov, Nikita Stroganov

PDF icon

Paper | International Conference on Code Quality (ICCQ) | 2022 | En

Method Name Prediction for Automatically Generated Unit Tests

Maxim Petukhov, Evelina Gudauskayte, Arman Kaliyev, Mikhail Oskin, Dmitry Ivanov, Qianxiang Wang

PDF icon

Competition | IEEE/ACM International Workshop on Search-Based Software Testing (SBST) | 2021 | En

UtBot at the SBST2021 Tool Competition

Dmitry Ivanov, Nikolay Bukharev, Alexey Menshutin, Arsen Nagdalian, Gleb Stromov, Artem Ustinov

PDF icon

UnitTestBot C/C++

Poster | 3rd International KLEE Workshop on Symbolic Execution | 2022 | En

UTBot Simplifies Auto Test Generation

Vladislav Kalugin, Pavel Iatchenii, Samat Gaynutdinov, Saveliy Grigoryev, Svetlana Shmidt, Alexey Utkin, Dmitry Ivanov, Aleksei Pleshakov, Vadim Volodin, Elena Ilina, Pavel Ponomarev and Konstantin Rybkin

PDF icon

KLEE Workshop poster

PDF icon

Program synthesis

Paper | ACM SIGPLAN International Conference on Functional Programming | 2022 | En

On a Declarative Guideline-Directed UI Layout Synthesis

Dmitrii Kosarev, Petr Lozov, Denis Fokin, Dmitri Boulytchev

PDF icon
YouTube iconGitHub icon