Towards Logic-Based Verification of JavaScript Programs-Reference-Cited by-同舟云学术

Towards Logic-Based Verification of JavaScript Programs

Published:2017 Issue: Volume: Page:8-25
ISSN:0302-9743
Container-title:Automated Deduction – CADE 26
language:
Short-container-title:

Author:

Santos José Fragoso,Gardner Philippa,Maksimović Petar,Naudžiūnienė Daiva

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-63046-5_2

Reference27 articles.

1. Andreasen, E., Møller, A.: Determinacy in static analysis for jQuery. In: OOPSLA (2014)

2. Lecture Notes in Computer Science;J Berdine,2006

3. Lecture Notes in Computer Science;J Berdine,2011

4. Bodin, M., Charguéraud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudziuniene, D., Schmitt, A., Smith, G.: A trusted mechanised JavaScript specification. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, pp. 87–100. ACM Press (2014)

5. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Draves, R., van Renesse, R. (eds.) 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, 8–10 December 2008, San Diego, California, USA, Proceedings, pp. 209–224. USENIX Association (2008)

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. JaVerT: JavaScript verification toolchain;Proceedings of the ACM on Programming Languages;2018-01

2. Checking cryptographic API usage with composable annotations (short paper);Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM '18;2018