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