DMCA

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

by Tom Bergan , Dan Grossman , Luis Ceze
Citations:2 - 2 self