External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Parallel SMT Solving and Concurrent Symbolic Execution

Emil Rakadjiev, Taku Shimosawa, Hiroshi Mine, Satoshi Oshima. Parallel SMT Solving and Concurrent Symbolic Execution. In 2015 IEEE TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22, 2015, Volume 3. pages 17-26, IEEE, 2015. [doi]

Authors

Emil Rakadjiev

This author has not been identified. Look up 'Emil Rakadjiev' in Google

Taku Shimosawa

This author has not been identified. Look up 'Taku Shimosawa' in Google

Hiroshi Mine

This author has not been identified. Look up 'Hiroshi Mine' in Google

Satoshi Oshima

This author has not been identified. Look up 'Satoshi Oshima' in Google
runs on