Proteus: computing disjunctive loop summary via path dependency analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaofei Xie, Bihuan Chen, Yang Liu, Wei Le, Xiaohong Li. Proteus: computing disjunctive loop summary via path dependency analysis. In Thomas Zimmermann 0001, Jane Cleland-Huang, Zhendong Su, editors, Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. pages 61-72, ACM, 2016. [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 'Yang Liu' in GoogleThis author has not been identified. Look up 'Wei Le' in GoogleThis author has not been identified. Look up 'Xiaohong Li' in Google

runs on WebDSL