Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Théotime Grohens
Symbolic Execution for JavaScript
Related publications
Symbolic Models for Isolated Execution Environments
A Comparative Evaluation of JavaScript Execution Behavior
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Pinaka: Symbolic Execution Meets Incremental Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
