@inproceedings(cav2014,
 author       = {P.~Abdulla and M.~Atig and Y.~Chen and L.~Hol{\'{\i}}k and A.~Rezine and P.~R{\"{u}}mmer and J.~Stenman},
 year         = {2014},
 title        = {String {C}onstraints for {V}erification},
 booktitle    = {{CAV}'14},
 doi          = {10.1007/978-3-319-08867-9\_10},
)
@inproceedings(visibly,
 author       = {R.~Alur and P.~Madhusudan},
 year         = {2004},
 title        = {Visibly pushdown languages},
 booktitle    = {{STOC}'04},
 doi          = {10.1145/1007352.1007390},
)
@inproceedings(amadini17,
 author       = {R.~Amadini and A.~Jordan and G.~Gange and F.~Gauthier and P.~Schachte and H.~S{\o}ndergaard and P.~J. Stuckey and C.~Zhang},
 year         = {2017},
 title        = {Combining String Abstract Domains for JavaScript Analysis: An Evaluation},
 booktitle    = {{TACAS}'17},
 doi          = {10.1007/978-3-662-54577-5\_3},
)
@article(arceri2017,
 author       = {V.~Arceri and S.~Maffeis},
 year         = {2017},
 title        = {{A}bstract {D}omains for {T}ype {J}uggling},
 journal      = {ENTCS},
 volume       = {331},
 doi          = {10.1016/j.entcs.2017.02.003},
)
@inproceedings(recency,
 author       = {G.~Balakrishnan and T.~Reps},
 year         = {2006},
 title        = {Recency-{A}bstraction for {H}eap-{A}llocated {S}torage},
 booktitle    = {{SAS}'06},
 doi          = {10.1007/11823230\_15},
)
@inproceedings(DBLP:conf/cav/BartzisB04,
 author       = {C.~Bartzis and T.~Bultan},
 year         = {2004},
 title        = {{W}idening {A}rithmetic {A}utomata},
 booktitle    = {{CAV}'04},
 doi          = {10.1007/978-3-540-27813-9\_25},
)
@article(bordihn09,
 author       = {H.~Bordihn and M.~Holzer and M.~Kutrib},
 year         = {2009},
 title        = {Determination of finite automata accepting subregular languages},
 journal      = {Theor. Comput. Sci.},
 volume       = {410},
 number       = {35},
 doi          = {10.1016/j.tcs.2009.05.019},
)
@inproceedings(tree-automata,
 author       = {A.~Bouajjani and P.~Habermehl and L.~Hol{\'{\i}}k and T.~Touili and T.~Vojnar},
 year         = {2008},
 title        = {Antichain-{B}ased {U}niversality and {I}nclusion {T}esting over {N}ondeterministic {F}inite {T}ree {A}utomata},
 booktitle    = {{CIAA}'08},
 doi          = {10.1007/978-3-540-70844-5\_7},
)
@inproceedings(abs-reg-mc,
 author       = {A.~Bouajjani and P.~Habermehl and T.~Vojnar},
 year         = {2004},
 title        = {Abstract {R}egular {M}odel {C}hecking},
 booktitle    = {{CAV}'04},
 doi          = {10.1007/978-3-540-27813-9\_29},
)
@article(campeanu2002,
 author       = {C.~C{\^{a}}mpeanu and A.~Paun and S.~Yu},
 year         = {2002},
 title        = {An {E}fficient {A}lgorithm for {C}onstructing {M}inimal {C}over {A}utomata for {F}inite {L}anguages},
 journal      = {Int. J. Found. Comput. Sci.},
 volume       = {13},
 number       = {1},
 doi          = {10.1142/S0129054102000960},
)
@inproceedings(wid-approach,
 author       = {T.~Choi and O.~Lee and H.~Kim and K.~Doh},
 year         = {2006},
 title        = {A {P}ractical {S}tring {A}nalyzer by the {W}idening {A}pproach},
 booktitle    = {{APLAS}'06},
 doi          = {10.1007/11924661\_23},
)
@inproceedings(olliaro2018,
 author       = {Agostino Cortesi and Martina Olliaro},
 year         = {2018},
 title        = {M-String Segmentation: {A} Refined Abstract Domain for String Analysis in {C} Programs},
 booktitle    = {{TASE}'18},
 pages        = {1--8},
 doi          = {10.1109/TASE.2018.00009},
)
@article(costantini2015,
 author       = {G.~Costantini and P.~Ferrara and A.~Cortesi},
 year         = {2015},
 title        = {A suite of abstract domains for static analysis of string values},
 journal      = {Softw., Pract. Exper.},
 volume       = {45},
 number       = {2},
 doi          = {10.1002/spe.2218},
)
@inproceedings(cousot1997,
 author       = {P.~Cousot},
 year         = {1997},
 title        = {{T}ypes as {A}bstract {I}nterpretations},
 booktitle    = {{POPL}'97},
 doi          = {10.1145/263699.263744},
)
@inproceedings(cousot1977,
 author       = {P.~Cousot and R.~Cousot},
 year         = {1977},
 title        = {Abstract {I}nterpretation: {A} {U}nified {L}attice {M}odel for {S}tatic {A}nalysis of {P}rograms by {C}onstruction or {A}pproximation of {F}ixpoints},
 booktitle    = {{POPL}'77},
 doi          = {10.1145/512950.512973},
)
@article(cousot1992,
 author       = {P.~Cousot and R.~Cousot},
 year         = {1992},
 title        = {{A}bstract {I}nterpretation {F}rameworks},
 journal      = {J. Log. Comput.},
 volume       = {2},
 number       = {4},
 doi          = {10.1093/logcom/2.4.511},
)
@inproceedings(cousot1992-2,
 author       = {P.~Cousot and R.~Cousot},
 year         = {1992},
 title        = {Comparing the {G}alois {C}onnection and {W}idening/{N}arrowing {A}pproaches to {A}bstract {I}nterpretation},
 booktitle    = {{PLILP}'92},
 doi          = {10.1007/3-540-55844-6\_142},
)
@inproceedings(logozzo2011,
 author       = {P.~Cousot and R.~Cousot and F.~Logozzo},
 year         = {2011},
 title        = {A parametric segmentation functor for fully automatic and scalable array content analysis},
 booktitle    = {{POPL}'11},
 pages        = {105--118},
 doi          = {10.1145/1926385.1926399},
)
@inproceedings(cousot1978,
 author       = {P.~Cousot and N.~Halbwachs},
 year         = {1978},
 title        = {Automatic {D}iscovery of {L}inear {R}estraints {A}mong {V}ariables of a {P}rogram},
 booktitle    = {{POPL}'78},
 doi          = {10.1145/512760.512770},
)
@book(davis1994,
 author       = {M.~D. Davis and R.~Sigal and E.~J. Weyuker},
 year         = {1994},
 title        = {Computability, {C}omplexity, and {L}anguages: Fund. of Theor. CS},
 publisher    = {Academic Press Professional, Inc.},
 doi          = {10.2307/2275691},
)
@inproceedings(domaratzki2001,
 author       = {M.~Domaratzki and J.~Shallit and S.~Yu},
 year         = {2001},
 title        = {Minimal {C}overs of {F}ormal {L}anguages},
 booktitle    = {{DLT}'01},
 doi          = {10.1007/3-540-46011-X\_28},
)
@misc(silva2006,
 author       = {V.~{D'Silva}},
 year         = {2006},
 title        = {Widening for {A}utomata},
 howpublished = {Diploma Thesis, Institut Fur Informatick, UZH},
)
@inproceedings(fromherz18,
 author       = {A.~Fromherz and A.~Ouadjaout and A.~Min{\'{e}}},
 year         = {2018},
 title        = {Static Value Analysis of Python Programs by Abstract Interpretation},
 booktitle    = {{NFM}'18},
 doi          = {10.1007/978-3-319-77935-5\_14},
)
@article(GM16,
 author       = {R.~Giacobazzi and I.~Mastroeni},
 year         = {2016},
 title        = {Making abstract models complete},
 journal      = {MSCS},
 volume       = {26},
 number       = {4},
 doi          = {10.1017/S0960129514000358},
)
@inproceedings(GQ01,
 author       = {R.~Giacobazzi and E.~Quintarelli},
 year         = {2001},
 title        = {Incompleteness, counterexamples and refinements in abstract model-checking},
 booktitle    = {{SAS}'01},
 doi          = {10.1007/3-540-47764-0\_20},
)
@article(GRS00,
 author       = {R.~Giacobazzi and F.~Ranzato and F.~Scozzari.},
 year         = {2000},
 title        = {Making {A}bstract {I}nterpretation {C}omplete},
 journal      = {{JACM}},
 volume       = {47},
 number       = {2},
 doi          = {10.1145/333979.333989},
)
@inproceedings(hauzar2015,
 author       = {D.~Hauzar and J.~Kofron},
 year         = {2015},
 title        = {{F}ramework for {S}tatic {A}nalysis of {PHP} {A}pplications},
 booktitle    = {{ECOOP}'15},
 doi          = {10.4230/LIPIcs.ECOOP.2015.689},
)
@article(afa,
 author       = {L.~Hol{\'{\i}}k and P.~Janku and A.~Lin and P.~R{\"{u}}mmer and T.~Vojnar},
 year         = {2018},
 title        = {String constraints with concatenation and transducers solved efficiently},
 doi          = {10.1145/3158092},
)
@book(hopcroft1979,
 author       = {J.~Hopcroft and J.~Ullman},
 year         = {1979},
 title        = {{I}ntroduction to {A}utomata {T}heory, {L}anguages and {C}omputation},
 publisher    = {Addison-Wesley},
 doi          = {10.1145/568438.568455},
)
@inproceedings(tajs2009,
 author       = {S.~Jensen and A.~M{\o}ller and P.~Thiemann},
 year         = {2009},
 title        = {{T}ype {A}nalysis for {J}ava{S}cript},
 booktitle    = {{SAS}'09},
 doi          = {10.1007/978-3-642-03237-0\_17},
)
@inproceedings(evil,
 author       = {S.~H. Jensen and P.~A. Jonsson and A.~M{\o}ller},
 year         = {2012},
 title        = {Remedying the eval that men do},
 booktitle    = {{ISSTA}'12},
 doi          = {10.1145/2338965.2336758},
)
@inproceedings(jsai2014,
 author       = {V.~Kashyap and K.~Dewey and E.~Kuefner and J.~Wagner and K.~Gibbons and J.~Sarracino and B.~Wiedermann and B.~Hardekopf},
 year         = {2014},
 title        = {{JSAI:} a static analysis platform for {J}ava{S}cript},
 booktitle    = {{FSE}'14},
 doi          = {10.1145/2635868.2635904},
)
@inproceedings(safe2012,
 author       = {H.~Lee and S.~Won and J.~Jin and J.~Cho and S.~Ryu},
 year         = {2012},
 title        = {{SAFE}: {F}ormal specification and implementation of a scalable analysis framework for {ECMAS}cript},
 booktitle    = {{FOOL}'12},
)
@inproceedings(popl2016,
 author       = {A.~Widjaja Lin and P.~Barcel{\'{o}}},
 year         = {2016},
 title        = {String solving with word equations and transducers: towards a logic for analysing mutation {XSS}},
 booktitle    = {{POPL}'16},
 doi          = {10.1145/2837614.2837641},
)
@inproceedings(midtgaard16,
 author       = {J.~Midtgaard and F.~Nielson and H.~R. Nielson},
 year         = {2016},
 title        = {A {P}arametric {A}bstract {D}omain for {L}attice-{V}alued {R}egular {E}xpressions},
 booktitle    = {{SAS}'16},
 doi          = {10.1007/978-3-662-53413-7\_17},
)
@inproceedings(park2016,
 author       = {C.~Park and H.~Im and S.~Ryu},
 year         = {2016},
 title        = {Precise and scalable static analysis of {jQuery} using a regular expression domain},
 booktitle    = {{DLS}'16},
 doi          = {10.1145/2989225.2989228},
)
@inproceedings(safe,
 author       = {C.~Park and S.~Ryu},
 year         = {2015},
 title        = {{S}calable and {P}recise {S}tatic {A}nalysis of {J}ava{S}cript {A}pplications via {L}oop-{S}ensitivity},
 booktitle    = {{ECOOP}'15},
 doi          = {10.4230/LIPIcs.ECOOP.2015.735},
)
@inproceedings(pradel2015,
 author       = {M.~Pradel and K.~Sen},
 year         = {2015},
 title        = {The {G}ood, the {B}ad, and the {U}gly: {A}n {E}mpirical {S}tudy of {I}mplicit {T}ype {C}onversions in {J}ava{S}cript},
 booktitle    = {{ECOOP}'15},
 doi          = {10.4230/LIPIcs.ECOOP.2015.519},
)
@inproceedings(pribavkina2010,
 author       = {E.~Pribavkina and E.~Rodaro},
 year         = {2010},
 title        = {{S}tate {C}omplexity of {P}refix, {S}uffix, {B}ifix and {I}nfix {O}perators on {R}egular {L}anguages},
 booktitle    = {{DLT}'10},
 doi          = {10.1007/978-3-642-14455-4\_34},
)
@book(cfa,
 author       = {M~Sharir and A~Pnueli},
 year         = {1978},
 title        = {{Two approaches to interprocedural data flow analysis}},
 publisher    = {NYU CS},
 address      = {NY},
)
@misc(w3school-string,
 author       = {W3S},
 title        = {{{JS} {S}tring {R}ef.}},
 howpublished = {\url{www.w3schools.com/jsref/jsref_obj_string.asp}},
 note         = {Accessed 16-06-2018},
)
@inproceedings(xu2012,
 author       = {W.~Xu and F.~Zhang and S.~Zhu},
 year         = {2012},
 title        = {The power of obfuscation techniques in malicious {J}ava{S}cript code: {A} measurement study},
 booktitle    = {{MALWARE}'12},
 doi          = {10.1109/MALWARE.2012.6461002},
)
@inproceedings(yu2008,
 author       = {F.~Yu and T.~Bultan and M.~Cova and O.~H. Ibarra},
 year         = {2008},
 title        = {{S}ymbolic {S}tring {V}erification: {A}n {A}utomata-{B}ased {A}pproach},
 booktitle    = {{SPIN}'08},
 doi          = {10.1007/978-3-540-85114-1\_21},
)
@article(YuZS94,
 author       = {S.~Yu and Q.~Zhuang and K.~Salomaa},
 year         = {1994},
 title        = {The {S}tate {C}omplexities of {S}ome {B}asic {O}perations on {R}egular {L}anguages},
 journal      = {Theor. Comput. Sci.},
 volume       = {125},
 number       = {2},
 doi          = {10.1016/0304-3975(92)00011-F},
)