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]
Abstract is missing.