共 39 条
[32]
Park S, 2016, 2016 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SYSTEMS-OF-SYSTEMS (SESOS), P25, DOI [10.1145/2897829.2897834, 10.1109/SESoS.2016.013]
[33]
A Symbolic Execution Framework for Java']JavaScript
[J].
2010 IEEE SYMPOSIUM ON SECURITY AND PRIVACY,
2010,
:513-528
[34]
Se-Won Kim, 2014, Programming Languages and Systems. 12th Asian Symposium (APLAS 2014), Proceedings: LNCS 8858, P372, DOI 10.1007/978-3-319-12736-1_20
[35]
Veanes Margus, 2010, Proceedings of the Third IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), P498, DOI 10.1109/ICST.2010.15
[37]
Sound and Precise Analysis of Web Applications for Injection Vulnerabilities
[J].
PLDI'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION,
2007,
:32-41
[38]
Yu F, 2008, LECT NOTES COMPUT SC, V5156, P306