Login / Signup
Takumi Adachi
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Symbolic Execution
Test Data Generation
Generation Algorithm
Context Free Grammars
Top Venues
GCCE
</>
Publications
</>
Takumi Adachi
,
Satoshi Yamane
,
Kohei Sakurai
Distributed CFG-based symbolic execution for assembly programs.
GCCE
(2015)