Interval counterexamples for loop invariant learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rongchen Xu, Fei He 0001, Bow-Yaw Wang. Interval counterexamples for loop invariant learning. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 111-122, ACM, 2020. [doi]

This author has not been identified. Look up 'Rongchen Xu' in GoogleThis author has not been identified. Look up 'Fei He 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Bow-Yaw Wang

Look up 'Bow-Yaw Wang' in Google

runs on WebDSL