Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcello M. Bonsangue
On the Nature of Symbolic Execution
Related publications
Symbolic Execution for JavaScript
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
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
Pinaka: Symbolic Execution Meets Incremental Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamic Analysis of Programs With Graphical User Interface Based on Symbolic Execution
Proceedings of the Institute for System Programming of the RAS
Runtime Exception Detection in Java Programs Using Symbolic Execution
Acta Cybernetica
Electronic Engineering
Information Systems
Pattern Recognition
Management Science
Computer Vision
Management
Electrical
Computer Science
Mathematics
Computational Theory
Theoretical Computer Science
Operations Research
Software
Generalized Symbolic Execution for Model Checking and Testing
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
