%0 Conference Paper %1 conf/ecoop/MarquesS0A22 %A Marques, Filipe %A Santos, José Fragoso %A Santos, Nuno %A Adão, Pedro %B ECOOP %D 2022 %E Ali, Karim %E Vitek, Jan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 11:1-11:29 %T Concolic Execution for WebAssembly. %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#MarquesS0A22 %V 222 %@ 978-3-95977-225-9

@inproceedings{conf/ecoop/MarquesS0A22, added-at = {2024-05-07T00:00:00.000+0200}, author = {Marques, Filipe and Santos, José Fragoso and Santos, Nuno and Adão, Pedro}, biburl = {https://www.bibsonomy.org/bibtex/2c1841edcbe40d1e8ae382e80fe0e5d55/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2022}, editor = {Ali, Karim and Vitek, Jan}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.11}, interhash = {c3d3f81ba4331fff35337e86f320cf65}, intrahash = {c1841edcbe40d1e8ae382e80fe0e5d55}, isbn = {978-3-95977-225-9}, keywords = {dblp}, pages = {11:1-11:29}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-05-13T09:35:20.000+0200}, title = {Concolic Execution for WebAssembly.}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#MarquesS0A22}, volume = 222, year = 2022 }