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.

RGSE: a regular property guided symbolic executor for Java

Hengbiao Yu, Zhenbang Chen, Yufeng Zhang, Ji Wang, Wei Dong. RGSE: a regular property guided symbolic executor for Java. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 954-958, ACM, 2017. [doi]

Authors

Hengbiao Yu

This author has not been identified. Look up 'Hengbiao Yu' in Google

Zhenbang Chen

This author has not been identified. Look up 'Zhenbang Chen' in Google

Yufeng Zhang

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

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google

Wei Dong

This author has not been identified. Look up 'Wei Dong' in Google
runs on