@mastersThesis{CarolinaCosta_11_2020,
   author = "Carolina Costa",
   title = "Concolic Execution for WebAssembly",
   year = 2020,
   month = nov,
   type = "Master's Thesis",
   BibTexOrigem = "16464 www.Inesc-ID.pt 2022-05-27"
}