Concolic Execution for WebAssembly

Filipe Marques, José Fragoso Santos, Nuno Santos 0001, Pedro Adão. Concolic Execution for WebAssembly. In Karim Ali 0001, Jan Vitek, editors, 36th European Conference on Object-Oriented Programming, ECOOP 2022, June 6-10, 2022, Berlin, Germany. Volume 222 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Authors

Filipe Marques

This author has not been identified. Look up 'Filipe Marques' in Google

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Nuno Santos 0001

This author has not been identified. Look up 'Nuno Santos 0001' in Google

Pedro Adão

This author has not been identified. Look up 'Pedro Adão' in Google