An analysis on secure coding using symbolic execution engine.

Published in: J. Comput. Virol. Hacking Tech. (2016)

Keyphrases