%0 Conference Paper %1 conf/cpaior/AmadiniAGSSS19 %A Amadini, Roberto %A Andrlon, Mak %A Gange, Graeme %A Schachte, Peter %A Søndergaard, Harald %A Stuckey, Peter J. %B CPAIOR %D 2019 %E Rousseau, Louis-Martin %E Stergiou, Kostas %I Springer %K dblp %P 1-19 %T Constraint Programming for Dynamic Symbolic Execution of JavaScript. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2019.html#AmadiniAGSSS19 %V 11494 %@ 978-3-030-19212-9

@inproceedings{conf/cpaior/AmadiniAGSSS19, added-at = {2023-03-21T00:00:00.000+0100}, author = {Amadini, Roberto and Andrlon, Mak and Gange, Graeme and Schachte, Peter and Søndergaard, Harald and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/27829cb3147abac1aa8d986df90fef0e2/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2019}, editor = {Rousseau, Louis-Martin and Stergiou, Kostas}, ee = {https://doi.org/10.1007/978-3-030-19212-9_1}, interhash = {e599551e2e286cffb00171455737fbde}, intrahash = {7829cb3147abac1aa8d986df90fef0e2}, isbn = {978-3-030-19212-9}, keywords = {dblp}, pages = {1-19}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:37:35.000+0200}, title = {Constraint Programming for Dynamic Symbolic Execution of JavaScript.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2019.html#AmadiniAGSSS19}, volume = 11494, year = 2019 }