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.

Multi-objective Evolutionary Algorithm for String SMT Solver Testing

Zhilei Ren, Xiaofei Fan, Xiaochen Li, Zhide Zhou, He Jiang 0001. Multi-objective Evolutionary Algorithm for String SMT Solver Testing. In 8th International Conference on Dependable Systems and Their Applications, DSA 2021, Yinchuan, China, August 5-6, 2021. pages 102-113, IEEE, 2021. [doi]

Authors

Zhilei Ren

This author has not been identified. Look up 'Zhilei Ren' in Google

Xiaofei Fan

This author has not been identified. Look up 'Xiaofei Fan' in Google

Xiaochen Li

This author has not been identified. Look up 'Xiaochen Li' in Google

Zhide Zhou

This author has not been identified. Look up 'Zhide Zhou' in Google

He Jiang 0001

This author has not been identified. Look up 'He Jiang 0001' in Google
runs on