Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Raimondas Sasnauskas
Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding
Related publications
Finding Errors in Python Programs Using Dynamic Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Execution for JavaScript
Symbolic Models for Isolated Execution Environments
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
Efficient Symbolic Simulation via Dynamic Scheduling, Don’t Caring, and Case Splitting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
