Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke. Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. In Lori L. Pollock, Mauro Pezzè, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006. pages 97-108, ACM, 2006. [doi]

This author has not been identified. Look up 'Jamieson M. Cobleigh' in GoogleThis author has not been identified. Look up 'George S. Avrunin' in GoogleThis author has not been identified. Look up 'Lori A. Clarke' in Google

runs on WebDSL