{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:33:43Z","timestamp":1725536023006},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642034657"},{"type":"electronic","value":"9783642034664"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03466-4_18","type":"book-chapter","created":{"date-parts":[[2009,8,3]],"date-time":"2009-08-03T07:20:54Z","timestamp":1249284054000},"page":"277-291","source":"Crossref","is-referenced-by-count":5,"title":["A Minimized Assumption Generation Method for Component-Based Software Verification"],"prefix":"10.1007","author":[{"given":"Pham","family":"Ngoc Hung","sequence":"first","affiliation":[]},{"given":"Toshiaki","family":"Aoki","sequence":"additional","affiliation":[]},{"given":"Takuya","family":"Katayama","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"18_CR1","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D. Angluin","year":"1987","unstructured":"Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation\u00a075(2), 87\u2013106 (1987)","journal-title":"Information and Computation"},{"doi-asserted-by":"crossref","unstructured":"Blundell, C., Giannakopoulou, D., Pasareanu, C.: Assume-Guarantee Testing. In: 4th Microsoft Research \u2013 Specification and Verification of Component-Based Systems Workshop (SAVCBS), pp. 7\u201314 (2005)","key":"18_CR2","DOI":"10.1145\/1123058.1123060"},{"unstructured":"Chaki, S., Clarke, E., Sharygina, N., Sinha, N.: Verification of Evolving Software. In: 3rd Microsoft Research \u2013 Specification and Verification of Component-Based Systems Workshop (SAVCBS), pp. 55\u201361 (2004)","key":"18_CR3"},{"issue":"3","key":"18_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s10703-007-0042-5","volume":"32","author":"S. Chaki","year":"2008","unstructured":"Chaki, S., Strichman, O.: Three Optimizations for Assume-Guarantee Reasoning with L*. Formal Methods in System Design\u00a032(3), 267\u2013284 (2008)","journal-title":"Formal Methods in System Design"},{"key":"18_CR5","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/3-540-36577-X_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J.M. Cobleigh","year":"2003","unstructured":"Cobleigh, J.M., Giannakopoulou, D., Pasareanu, C.: Learning Assumptions for Compositional Verification. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 331\u2013346. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Giannakopoulou, D., Pasareanu, C., Barringer, H.: Assumption Generation for Software Component Verification. In: 17th IEEE International Conference on Automated Software Engineering (ASE), pp. 3\u201312 (2002)","key":"18_CR7","DOI":"10.1109\/ASE.2002.1114984"},{"key":"18_CR8","first-page":"479","volume-title":"15th Asia-Pacific Softw. Eng. Conf. (APSEC)","author":"P.N. Hung","year":"2008","unstructured":"Hung, P.N., Katayama, T.: Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software. In: 15th Asia-Pacific Softw. Eng. Conf. (APSEC), pp. 479\u2013486. IEEE Computer Society Press, Los Alamitos (2008)"},{"unstructured":"Hung, P.N., Thang, N.T., Katayama, T.: An Assume-Guarantee Method for Modular Verification of Evolving Component-Based Software. In: 6th WADS in conjunction with the 37th Annual IEEE\/IFIP Intenational Conference on Dependable Systems and Networks (DSN), pp. 160\u2013165 (2007)","key":"18_CR9"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1145\/69575.69577","volume":"5","author":"C.B. Jones","year":"1983","unstructured":"Jones, C.B.: Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a05(4), 596\u2013619 (1983)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"18_CR11","volume-title":"Concurrency: State Models & Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. John Wiley & Sons, Chichester (1999)"},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1090\/S0002-9939-1958-0135681-9","volume":"9","author":"A. Nerode","year":"1958","unstructured":"Nerode, A.: Linear automaton transformations. American Mathematical Society\u00a09, 541\u2013544 (1958)","journal-title":"American Mathematical Society"},{"unstructured":"French National Institute for Research in Computer Science and Control (INRIA), Objective caml (2004), http:\/\/caml.inria.fr\/ocaml\/index.en.html","key":"18_CR13"},{"key":"18_CR14","series-title":"Nato Asi Series F: Computer And Systems Sciences","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-642-82453-1_5","volume-title":"Logics and Models of Concurrent Systems","author":"A. Pnueli","year":"1985","unstructured":"Pnueli, A.: In Transition from Global to Modular Temporal Reasoning about Programs. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. Nato Asi Series F: Computer And Systems Sciences, vol.\u00a013, pp. 123\u2013144. Springer, Heidelberg (1985)"},{"doi-asserted-by":"crossref","unstructured":"Stark, E.W.: A Proof Technique for Rely\/Guarantee Properties. In: The 5th Conf. on Found. of Soft. Tech. and Theoretical Computer Science, pp. 369\u2013391 (1985)","key":"18_CR15","DOI":"10.1007\/3-540-16042-6_21"},{"unstructured":"A Minimized Assumption Generation Tool for Modular Verification of Component-Based Software (2009), http:\/\/www.jaist.ac.jp\/~s0620204\/MAGTool\/","key":"18_CR16"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1006\/inco.1993.1021","volume":"103","author":"R.L. Rivest","year":"1993","unstructured":"Rivest, R.L., Schapire, R.E.: Inference of finite automata using homing sequences. Information and Computation\u00a0103(2), 299\u2013347 (1993)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03466-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T20:36:12Z","timestamp":1558470972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03466-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642034657","9783642034664"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03466-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}