Parallel SMT Solving and Concurrent Symbolic Execution.
Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima
VenueBTrustCom
Year2015
ProceedingsTrustCom/BigDataSE/ISPA (3)
DBLP recordconf/trustcom/RakadjievSMO15 ↗
Browse the full TrustCom paper archive.