Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zongze Jiang, Ming Wen 0001, Yixin Yang, Chao Peng 0002, Ping Yang, Hai Jin 0001. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration. In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023. pages 1364-1376, IEEE, 2023. [doi]

This author has not been identified. Look up 'Zongze Jiang' in GoogleThis author has not been identified. Look up 'Ming Wen 0001' in GoogleThis author has not been identified. Look up 'Yixin Yang' in GoogleThis author has not been identified. Look up 'Chao Peng 0002' in GoogleThis author has not been identified. Look up 'Ping Yang' in GoogleThis author has not been identified. Look up 'Hai Jin 0001' in Google

runs on WebDSL