http://jburnim.github.io/ [email protected]
@google San Francisco, CA
Jacob Burnim
CREST is a concolic test generation tool for C.
jburnim
