Type-aware concolic testing of JavaScript programs.

Monika Dhok Murali Krishna Ramanathan Nishant Sinha

Published in: ICSE (2016)

Keyphrases

open source
symbolic execution
data structure
test cases
multiple types
neural network
website
web server
concurrent programs