"JaVerT 2.0: compositional symbolic execution for JavaScript."

José Fragoso Santos et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics