Skip to content

ICSE SRC 2014

Pre-release
Pre-release
Compare
Choose a tag to compare
@codelion codelion released this 15 May 02:59
· 27 commits to master since this release
v1.0
d936e6f

Release made for the paper Exploiting Undefined Behaviors for Efficient Symbolic Execution, ICSE (ACM-SRC) 2014

Assets 2
Loading