Login / Signup
Emil Rakadjiev
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Metadata
Symbolic Execution
Evolutionary Algorithm
Test Generation
Top Venues
TrustCom/BigDataSE/ISPA (3)
</>
Publications
</>
Emil Rakadjiev
,
Taku Shimosawa
,
Hiroshi Mine
,
Satoshi Oshima
Parallel SMT Solving and Concurrent Symbolic Execution.
TrustCom/BigDataSE/ISPA (3)
(2015)