Symbolic execution for JavascriptJosé Fragoso SantosPetar Maksimovićet al.2018PPDP 2018Conference paper