{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T19:10:02Z","timestamp":1731438602034,"version":"3.28.0"},"reference-count":31,"publisher":"Institution of Engineering and Technology (IET)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2008,12,15]]},"DOI":"10.1049\/iet-sen:20080012","type":"journal-article","created":{"date-parts":[[2008,12,12]],"date-time":"2008-12-12T23:22:48Z","timestamp":1229124168000},"page":"547-562","source":"Crossref","is-referenced-by-count":11,"title":["Assume-guarantee testing for software components"],"prefix":"10.1049","volume":"2","author":[{"given":"D.","family":"Giannakopoulou","sequence":"first","affiliation":[{"name":"CMU, NASA Ames Research Center, N269-230, Moffett Field, CA 94035, USA"}]},{"given":"C.S.","family":"Pa\u0306sa\u0306reanu","sequence":"additional","affiliation":[{"name":"CMU, NASA Ames Research Center, N269-230, Moffett Field, CA 94035, USA"}]},{"given":"C.","family":"Blundell","sequence":"additional","affiliation":[{"name":"Department of Comp. and Inf. Science, University of Pennsylvania, Philadelphia, PA, USA"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20080012_r1","first-page":"321","author":"Jones","year":"1983","journal-title":"Information processing 83: Proc. IFIP 9th World Congress"},{"key":"10.1049\/iet-sen:20080012_r2","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: \u2018In transition from global to modular temporal reasoning about programs\u2019, Apt, K., Logic and models of concurrent systems, (Springer, New York 1984),13, p. 123\u2013144","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"10.1049\/iet-sen:20080012_r3","first-page":"353","author":"Clarke","year":"1989","journal-title":"Proc. LICS'89"},{"key":"10.1049\/iet-sen:20080012_r4","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1007\/3-540-54430-5_93","author":"Grumberg","year":"1991","journal-title":"Proc. CONCUR'91"},{"journal-title":"Proc. ASE'02","year":"2002","author":"Giannakopoulou","key":"10.1049\/iet-sen:20080012_r5"},{"journal-title":"Proc. 9th Int. Conf. Construction and Analysis of Systems (TACAS 2003)","year":"2003","author":"Cobleigh","key":"10.1049\/iet-sen:20080012_r6"},{"journal-title":"Proc. Workshop on Specification and Verification of Component-Based Systems (SAVCBS)","year":"2003","author":"Barringer","key":"10.1049\/iet-sen:20080012_r7"},{"key":"10.1049\/iet-sen:20080012_r8","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/s10703-008-0049-6","volume":"32","author":"Pa\u0306sa\u0306reanu","year":"2008","ISSN":"http:\/\/id.crossref.org\/issn\/0925-9856","issn-type":"print"},{"key":"10.1049\/iet-sen:20080012_r9","first-page":"211","author":"Giannakopoulou","year":"2004","journal-title":"Proc. ICSE'04"},{"volume":"34","year":"2001","author":"Boehm","key":"10.1049\/iet-sen:20080012_r10"},{"journal-title":"Proc. Haifa Verification Conf. HVC'05","year":"2005","author":"Bensalem","key":"10.1049\/iet-sen:20080012_r11"},{"journal-title":"Proc. Workshop on Specification and Verification of Component-Based Systems (SAVCBS)","year":"2005","author":"Blundell","key":"10.1049\/iet-sen:20080012_r12"},{"key":"10.1049\/iet-sen:20080012_r13","unstructured":"Magee, J., and Kramer, J.: \u2018Concurrency: state models & java programs\u2019, (Wiley 1999)"},{"key":"10.1049\/iet-sen:20080012_r14","first-page":"211","author":"Sen","year":"2005","journal-title":"Proc. FMOODS'05"},{"journal-title":"Proc. FM'08","year":"2008","author":"Emmi","key":"10.1049\/iet-sen:20080012_r15"},{"journal-title":"Proc. IEEE Aerospace Conf.","year":"2006","author":"Brat","key":"10.1049\/iet-sen:20080012_r16"},{"key":"10.1049\/iet-sen:20080012_r17","first-page":"3","author":"Visser","year":"2000","journal-title":"Proc. ASE'00"},{"key":"10.1049\/iet-sen:20080012_r18","first-page":"44","author":"Barringer","year":"2004","journal-title":"Proc. VMCAI'04"},{"key":"10.1049\/iet-sen:20080012_r19","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/1007512.1007526","author":"Visser","year":"2004","journal-title":"Proc. ISSTA'04"},{"key":"10.1049\/iet-sen:20080012_r20","first-page":"521","author":"Alur","year":"1998","journal-title":"Proc. CAV'98"},{"key":"10.1049\/iet-sen:20080012_r21","first-page":"109","author":"de Alfaro","year":"2001","journal-title":"Proc. FSE'01"},{"key":"10.1049\/iet-sen:20080012_r22","first-page":"262","author":"Flanagan","year":"2002","journal-title":"Proc. ESOP'02"},{"key":"10.1049\/iet-sen:20080012_r23","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1145\/263699.263717","author":"Godefroid","year":"1997","journal-title":"Proc. POPL'97"},{"journal-title":"Proc. ICSE'03","year":"2003","author":"Dingel","key":"10.1049\/iet-sen:20080012_r24"},{"key":"10.1049\/iet-sen:20080012_r25","first-page":"525","author":"Jagadeesan","year":"1997","journal-title":"Proc. ICSE'97"},{"journal-title":"Proc. IEEE Real Time Systems Symp. (RTSS)","year":"1998","author":"Raymond","key":"10.1049\/iet-sen:20080012_r26"},{"key":"10.1049\/iet-sen:20080012_r27","first-page":"46","author":"Ammann","year":"1998","journal-title":"Proc. ICFEM'98"},{"key":"10.1049\/iet-sen:20080012_r28","first-page":"146","author":"Gargantini","year":"1999","journal-title":"Proc. FSE'99"},{"journal-title":"Proc. FATES'03","year":"2003","author":"Heimdahl","key":"10.1049\/iet-sen:20080012_r29"},{"journal-title":"Proc. TACAS'02","year":"2002","author":"Hong","key":"10.1049\/iet-sen:20080012_r30"},{"journal-title":"Proc. ASE'05","year":"2005","author":"Saff","key":"10.1049\/iet-sen:20080012_r31"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20080012?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:28:03Z","timestamp":1731436083000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20080012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12,15]]},"references-count":31,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2008,12,15]]}},"alternative-id":["10.1049\/iet-sen:20080012"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20080012","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2008,12,15]]}}}