default search action

combined dblp search
author search
venue search
publication search

ask others

Aleksandr Misonizhnik

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/MisonizhnikMKKBMI24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/MisonizhnikMKKBMI24
Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov:
KLEEF: Symbolic Execution Engine (Competition Contribution). FASE 2024: 314-319
2023
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/IvanovBGIKKKMMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/IvanovBGIKKKMMM23
Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets:
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. ICSE Companion 2023: 380-384

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/MisonizhnikM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/MisonizhnikM19
Aleksandr Misonizhnik, Dmitry Mordvinov:
On Satisfiability of Nominal Subtyping with Variance. ECOOP 2019: 7:1-7:20
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-10204
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-10204
Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik:
Automatic verification of heap-manipulating programs. CoRR abs/1906.10204 (2019)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.