Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Josselin Feist
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Related publications
Symbolic Execution for JavaScript
Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution
Proceedings of the Institute for System Programming of the RAS
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Models for Isolated Execution Environments
Verification of Dynamic Memory Allocators Based on Symbolic Program Execution
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Nature of Symbolic Execution
