Parallel SMT Solving and Concurrent Symbolic Execution. - Emil Rakadjiev; Taku Shimosawa; Hiroshi Mine; Satoshi Oshima (TrustCom/BigDataSE/ISPA (3), 2015)