Completeness of Abstract Domains for String Analysis of JavaScript Programs.

Vincenzo Arceri Martina Olliaro Agostino Cortesi Isabella Mastroeni

Published in: ICTAC (2019)

Keyphrases

web applications
open source
statistical analysis
data sets
machine learning
information systems
case study
database systems
data analysis
image analysis
pattern matching
data types
quantitative analysis
cross domain