DMCA

Augmented Dynamic Symbolic Execution

by Konrad Jamrozik , Gordon Fraser , Nikolai Tillmann , Jonathan De Halleux
Citations:3 - 2 self