Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]

This author has not been identified. Look up 'Yunfan Zhang' in GoogleThis author has not been identified. Look up 'Ruidong Zhu' in GoogleThis author has not been identified. Look up 'Yingfei Xiong' in GoogleThis author has not been identified. Look up 'Tao Xie' in Google

runs on WebDSL