Precise String Analysis for JavaScript Programs Using Automata. - Nabil Almashfi; Lunjin Lu; Koby Picker; Christian Maldonado (ICSCA, 2019)