Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Iu.D. Korenkov

Verification of Dynamic Memory Allocators Based on Symbolic Program Execution

Scientific and Technical Journal of Information Technologies, Mechanics and Optics
2020English

Related publications

Visualising Dynamic Memory Allocators

2006English

Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution

Proceedings of the Institute for System Programming of the RAS
2017English

Reducing Memory Fragmentation With Performance-Optimized Dynamic Memory Allocators in Network Applications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Finding Errors in Python Programs Using Dynamic Symbolic Execution

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

On the Nature of Symbolic Execution

2019English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019English

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

2016English

Symbolic Execution for JavaScript

2018English

On Symbolic Verification of Bitcoin’s Script Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy