Login / Signup

symMMU: symbolically executed runtime libraries for symbolic memory access.

Anthony RomanoDawson R. Engler
Published in: ASE (2014)
Keyphrases