@incollection{Amadini_2019,
    doi = {10.1007/978-3-030-19212-9_1},
    url = {https://doi.org/10.1007%2F978-3-030-19212-9_1},
    year = {2019},
    publisher = {Springer International Publishing},
    pages = {1--19},
    author = {Roberto Amadini and Mak Andrlon and Graeme Gange and Peter Schachte and Harald ~S{\o}ndergaard and Peter J. Stuckey},
    title = {Constraint Programming for Dynamic Symbolic Execution of {JavaScript}},
    booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research}
}

@incollection{Amadini_2019, doi = {10.1007/978-3-030-19212-9_1}, url = {https://doi.org/10.1007%2F978-3-030-19212-9_1}, year = {2019}, publisher = {Springer International Publishing}, pages = {1--19}, author = {Roberto Amadini and Mak Andrlon and Graeme Gange and Peter Schachte and Harald ~S{\o}ndergaard and Peter J. Stuckey}, title = {Constraint Programming for Dynamic Symbolic Execution of {JavaScript}}, booktitle = {Integration of Constraint Programming, Artificial Intelligence, and Operations Research} }