@INPROCEEDINGS {40276,
author={F.  Marques and J.  Fragoso Santos and N. Santos and P. Adão},
doi={10.4230/DARTS.8.2.20},
booktitle={36th European Conference on Object-Oriented Programming - ECOOP},
title={Concolic Execution for WebAssembly (Artifact)},
year={2022},
month={June},
volume={8},
pages={1-3} 
}