Concolic Execution for WebAssembly (Artifact).

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

Published in: Dagstuhl Artifacts Ser. (2022)

Keyphrases

execution model
databases
machine learning
knowledge base
case study
management system
execution traces