DMCA

Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution

by Raul Santelices , Mary Jean Harrold
Citations:19 - 4 self