A Symbolic Execution Framework for JavaScript | IEEE Conference Publication | IEEE Xplore