Amanote Research
Register
Sign In
Symbolic Execution for JavaScript
doi 10.1145/3236950.3236956
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2018
Authors
José Fragoso Santos
Petar Maksimović
Théotime Grohens
Julian Dolby
Philippa Gardner
Publisher
ACM Press
Related search
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
