Loopster: static loop termination analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaofei Xie, Bihuan Chen, Liang Zou, Shang-Wei Lin, Yang Liu, Xiaohong Li. Loopster: static loop termination analysis. 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 84-94, ACM, 2017. [doi]

This author has not been identified. Look up 'Xiaofei Xie' in GoogleThis author has not been identified. Look up 'Bihuan Chen' in GoogleThis author has not been identified. Look up 'Liang Zou' in GoogleThis author has not been identified. Look up 'Shang-Wei Lin' in GoogleThis author has not been identified. Look up 'Yang Liu' in GoogleThis author has not been identified. Look up 'Xiaohong Li' in Google

runs on WebDSL