Login / Signup

Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript.

Koushik SenSwaroop KalasapurTasneem G. BrutchSimon Gibbs
Published in: ESEC/SIGSOFT FSE (2013)
Keyphrases
  • dynamic analysis
  • static analysis
  • main contribution
  • database
  • probabilistic model
  • analysis tool
  • website
  • abstract interpretation