Concolic Testing of JavaScript using Sparkplug
<|reference_start|>Concolic Testing of JavaScript using Sparkplug: JavaScript is prevalent in web and server apps, handling sensitive data. JS testing methods lag behind other languages. Insitu concolic testing for JS is effective but slow and complex. Our method enhances tracing with V8 Sparkplug baseline compiler and remill libraries for assembly to LLVM IR conversion. Evaluation on 160 Node.js libraries reveals comparable coverage and bug detection in significantly less time than the in-situ method.<|reference_end|>
@article{li2024concolic,
    title={Concolic Testing of JavaScript using Sparkplug},
    author={Zhe Li, Fei Xie},
    journal={arXiv preprint arXiv:2405.06832},
    year={2024},
    archivePrefix={arXiv},
    eprint={2405.06832},
    primaryClass={cs.SE}
}