Imperial College London
Alternate

ProfessorPhilippaGardner

Faculty of Engineering, Department of Computing

Professor of Theoretical Computer Science
 
 
 
//

Contact

 

+44 (0)20 7594 8292p.gardner Website

 
 
//

Location

 

453Huxley BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Faustino:2018:10.1145/3236950.3236956,
author = {Faustino, Fragoso Femenin Dos Santos J and Maksimovic, P and Grohens, T and Dolby, J and Gardner, PA},
doi = {10.1145/3236950.3236956},
publisher = {ACM},
title = {Symbolic execution for JavaScript},
url = {http://dx.doi.org/10.1145/3236950.3236956},
year = {2018}
}
Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - We present a framework for trustworthy symbolic execution of JavaScripts programs, whose aim is to assist developers in the testing of their code: the developer writes symbolic tests for which the framework provides concrete counter-models. We create the framework following a new, general methodology for designing compositional program analyses for dynamic languages. We prove that the underlying symbolic execution is sound and does not generate false positives. We establish additional trust by using the theory to precisely guide the implementation and by thorough testing. We apply our framework to whole-program symbolic testing of real-world JavaScript libraries and compositional debugging of separation logic specifications of JavaScript programs.
AU  - Faustino,Fragoso Femenin Dos Santos J
AU  - Maksimovic,P
AU  - Grohens,T
AU  - Dolby,J
AU  - Gardner,PA
DO  - 10.1145/3236950.3236956
PB  - ACM
PY  - 2018///
TI  - Symbolic execution for JavaScript
UR  - http://dx.doi.org/10.1145/3236950.3236956
UR  - http://hdl.handle.net/10044/1/62209
ER  -
Download