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.

Paper | Preprint | 2022 | En

Polynomial formulations as a barrier for reduction-based hardness proofs

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

Paper | Electronic Colloquium on Computational Complexity (ECCC) | 2022 | En

A Lower Bound for 𝑘-DNF Resolution on Random CNF Formulas via Expansion

Sofronova, A., & Sokolov, D.

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.

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

On Satisfiability of Nominal Subtyping with Variance

Misonizhnik, A., & Mordvinov, D.

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

Property directed inference of relational invariants

Mordvinov, D., & Fedyukovich, G.

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

Synchronizing Constrained Horn Clauses

Mordvinov, D., & Fedyukovich, G.

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

SBST Tool Competition 2022

General overview

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

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

SBST Tool Competition 2021

General overview

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

KLEE Workshop poster

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