Concolic Execution for WebAssembly.

Filipe Marques José Fragoso Santos Nuno Santos Pedro Adão

Published in: ECOOP (2022)

Keyphrases

data flow
computer vision
database
high level
information systems
image processing
image segmentation
three dimensional
business processes