Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Guillaume Scerri
Symbolic Models for Isolated Execution Environments
Foundations of Hardware-Based Attested Computation and Application to SGX
Related publications
Symbolic Execution for JavaScript
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
Execution Management for Mobile Service-Oriented Environments
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
Symbolic Models for Control Systems
Acta Informatica
Computer Networks
Software
Information Systems
Communications
