@INPROCEEDINGS {40275,
author={F.  Marques and J.  Fragoso Santos and N. Santos and P. Adão},
doi={10.4230/LIPIcs.ECOOP.2022.11},
booktitle={36th European Conference on Object-Oriented Programming - ECOOP},
title={Concolic Execution for WebAssembly},
year={2022},
month={June},
volume={222},
pages={1-29} 
}