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.

Boost Symbolic Execution Using Dynamic State Merging and Forking

Chao Zhang, Weiliang Yin, Zhiqiang Lin. Boost Symbolic Execution Using Dynamic State Merging and Forking. In Horst Lichter, Thanwadee Sunetnanta, Toni Anwar, Taratip Suwannasart, editors, Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), Nara, Japan, December 4, 2018. Volume 2273 of CEUR Workshop Proceedings, pages 14-21, CEUR-WS.org, 2018. [doi]

Authors

Chao Zhang

This author has not been identified. Look up 'Chao Zhang' in Google

Weiliang Yin

This author has not been identified. Look up 'Weiliang Yin' in Google

Zhiqiang Lin

This author has not been identified. Look up 'Zhiqiang Lin' in Google
runs on