{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:40:07Z","timestamp":1759333207564,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,21]]},"DOI":"10.1145\/1146238.1146250","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"97-108","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Breaking up is hard to do"],"prefix":"10.1145","author":[{"given":"Jamieson M.","family":"Cobleigh","sequence":"first","affiliation":[{"name":"University of Massachusetts, Amherst, MA"}]},{"given":"George S.","family":"Avrunin","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, MA"}]}],"member":"320","published-online":{"date-parts":[[2006,7,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_52"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/897556"},{"key":"e_1_3_2_1_4_1","volume-title":"Dept. of Comp. Sci.","author":"Avrunin G. S.","year":"1999","unstructured":"G. S. Avrunin , J. C. Corbett , M. B. Dwyer , C. S. P\u01ces\u01cereanu , and S. F. Siegel . Comparing finite-state verification techniques for concurrent software. TR 99-69, U. of Massachusetts , Dept. of Comp. Sci. , Nov. 1999 . G. S. Avrunin, J. C. Corbett, M. B. Dwyer, C. S. P\u01ces\u01cereanu, and S. F. Siegel. Comparing finite-state verification techniques for concurrent software. TR 99-69, U. of Massachusetts, Dept. of Comp. Sci., Nov. 1999."},{"key":"e_1_3_2_1_5_1","first-page":"14","volume-title":"Proc. of the Second Workshop on Spec. and Verification of Component-Based Systems","author":"Barringer H.","year":"2003","unstructured":"H. Barringer , D. Giannakopoulou , and C. S. P\u01ces\u01cereanu . Proof rules for automated compositional verification through learning . In Proc. of the Second Workshop on Spec. and Verification of Component-Based Systems , pages 14 -- 21 , Sept. 2003 . H. Barringer, D. Giannakopoulou, and C. S. P\u01ces\u01cereanu. Proof rules for automated compositional verification through learning. In Proc. of the Second Workshop on Spec. and Verification of Component-Based Systems, pages 14--21, Sept. 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_51"},{"key":"e_1_3_2_1_7_1","first-page":"97","volume-title":"Proc. of the Second Int. Working Conf. on Component Development","volume":"3083","author":"Chatley R.","year":"2004","unstructured":"R. Chatley , S. Eisenbach , and J. Magee . MagicBeans: a platform for deploying plugin components. In W. Emmerich and A. L. Wolf, editors , Proc. of the Second Int. Working Conf. on Component Development , volume 3083 of LNCS, pages 97 -- 112 , May 2004 . R. Chatley, S. Eisenbach, and J. Magee. MagicBeans: a platform for deploying plugin components. In W. Emmerich and A. L. Wolf, editors, Proc. of the Second Int. Working Conf. on Component Development, volume 3083 of LNCS, pages 97--112, May 2004."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235323"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.734431"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146250"},{"key":"e_1_3_2_1_11_1","first-page":"331","volume-title":"Proc. of the Ninth Int. Conf. on Tools and Alg. for the Construction and Analysis of Sys.","volume":"2619","author":"Cobleigh J. M.","year":"2003","unstructured":"J. M. Cobleigh , D. Giannakopoulou , and C. S. P\u01ces\u01cereanu . Learning assumptions for compositional verification. In H. Garavel and J. Hatcliff, editors , Proc. of the Ninth Int. Conf. on Tools and Alg. for the Construction and Analysis of Sys. , volume 2619 of LNCS, pages 331 -- 346 , Apr. 2003 . J. M. Cobleigh, D. Giannakopoulou, and C. S. P\u01ces\u01cereanu. Learning assumptions for compositional verification. In H. Garavel and J. Hatcliff, editors, Proc. of the Ninth Int. Conf. on Tools and Alg. for the Construction and Analysis of Sys., volume 2619 of LNCS, pages 331--346, Apr. 2003."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01384316"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/978-3-540-30476-0_30","volume-title":"Proc. of the Second Int. Conf. on Automated Tech. for Verification and Analysis","author":"de la Riva C.","year":"2004","unstructured":"C. de la Riva and J. Tuya . Modular model checking of software specifications with simultaneous environment generation . In F. Wang, editor, Proc. of the Second Int. Conf. on Automated Tech. for Verification and Analysis , volume 3299 of LNCS , pages 369 -- 383 , Oct.-Nov. 2004 . C. de la Riva and J. Tuya. Modular model checking of software specifications with simultaneous environment generation. In F. Wang, editor, Proc. of the Second Int. Conf. on Automated Tech. for Verification and Analysis, volume 3299 of LNCS, pages 369--383, Oct.-Nov. 2004."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/b138445"},{"key":"e_1_3_2_1_17_1","first-page":"213","volume-title":"Proc. of the Tenth SPIN Workshop","volume":"2648","author":"Flanagan C.","year":"2003","unstructured":"C. Flanagan and S. Qadeer . Thread-modular model checking. In T. Ball and S. K. Rajamani, editors , Proc. of the Tenth SPIN Workshop , volume 2648 of LNCS, pages 213 -- 224 , May 2003 . C. Flanagan and S. Qadeer. Thread-modular model checking. In T. Ball and S. K. Rajamani, editors, Proc. of the Tenth SPIN Workshop, volume 2648 of LNCS, pages 213--224, May 2003."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_19"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008645800955"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11537328_24"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/786769.787035"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694482"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1985.230351"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_27"},{"key":"e_1_3_2_1_25_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/BFb0028765","volume-title":"Proc. of the Tenth Int. Conf. on Computer-Aided Verification","author":"Henzinger T. A.","year":"1998","unstructured":"T. A. Henzinger , S. Qadeer , and S. K. Rajamani . You assume, we guarantee: Methodology and case studies . In A. J. Hu and M. Y. Vardi, editors, Proc. of the Tenth Int. Conf. on Computer-Aided Verification , volume 1427 of LNCS , pages 440 -- 451 , June-July 1998 . T. A. Henzinger, S. Qadeer, and S. K. Rajamani. You assume, we guarantee: Methodology and case studies. In A. J. Hu and M. Y. Vardi, editors, Proc. of the Tenth Int. Conf. on Computer-Aided Verification, volume 1427 of LNCS, pages 440--451, June-July 1998."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/352591.352593"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940077"},{"key":"e_1_3_2_1_28_1","first-page":"321","volume-title":"Information Processing 83: Proc. of the IFIP 9th World Congress","author":"Jones C. B.","year":"1983","unstructured":"C. B. Jones . Specification and design of (parallel) programs. In R. Mason, editor , Information Processing 83: Proc. of the IFIP 9th World Congress , pages 321 -- 332 . IFIP: North Holland , 1983 . C. B. Jones. Specification and design of (parallel) programs. In R. Mason, editor, Information Processing 83: Proc. of the IFIP 9th World Congress, pages 321--332. IFIP: North Holland, 1983."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/256664.256765"},{"key":"e_1_3_2_1_30_1","volume-title":"Concurrency: State Models & Java Programs","author":"Magee J.","year":"1999","unstructured":"J. Magee and J. Kramer . Concurrency: State Models & Java Programs . John Wiley & Sons , 1999 . J. Magee and J. Kramer. Concurrency: State Models & Java Programs. John Wiley & Sons, 1999."},{"key":"e_1_3_2_1_31_1","volume-title":"Limitations and capabilities of Dijktra's semaphore primitives for coordination among processes","author":"Patil S. S.","year":"1971","unstructured":"S. S. Patil . Limitations and capabilities of Dijktra's semaphore primitives for coordination among processes . Computational Structures Group Memo 57, Project MAC, Feb. 1971 . S. S. Patil. Limitations and capabilities of Dijktra's semaphore primitives for coordination among processes. Computational Structures Group Memo 57, Project MAC, Feb. 1971."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(81)90106-X"},{"key":"e_1_3_2_1_33_1","series-title":"NATO ASI","first-page":"123","volume-title":"transition from global to modular temporal reasoning about programs","author":"Pnueli A.","year":"1984","unstructured":"A. Pnueli . In transition from global to modular temporal reasoning about programs . In K. R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI , pages 123 -- 144 . Springer-Verlag , Oct. 1984 . A. Pnueli. In transition from global to modular temporal reasoning about programs. In K. R. Apt, editor, Logics and Models of Concurrent Systems, volume 13 of NATO ASI, pages 123--144. Springer-Verlag, Oct. 1984."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1021"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988494"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/64135.65004"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/120807.120812"}],"event":{"name":"ISSTA06: International Symposium on Software Testing and Analysis 2006","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Maine USA","acronym":"ISSTA06"},"container-title":["Proceedings of the 2006 international symposium on Software testing and analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1146238.1146250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:27:32Z","timestamp":1673512052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1146238.1146250"}},"subtitle":["an investigation of decomposition for assume-guarantee reasoning"],"short-title":[],"issued":{"date-parts":[[2006,7,21]]},"references-count":37,"alternative-id":["10.1145\/1146238.1146250","10.1145\/1146238"],"URL":"https:\/\/doi.org\/10.1145\/1146238.1146250","relation":{},"subject":[],"published":{"date-parts":[[2006,7,21]]},"assertion":[{"value":"2006-07-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}