JaVerT 2.0: Compositional Symbolic Execution for JavaScript

Published --