{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T00:08:11Z","timestamp":1743120491711,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031331695"},{"type":"electronic","value":"9783031331701"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-33170-1_17","type":"book-chapter","created":{"date-parts":[[2023,6,2]],"date-time":"2023-06-02T12:55:27Z","timestamp":1685710527000},"page":"278-294","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning over\u00a0Test Specifications Using Assume-Guarantee Contracts"],"prefix":"10.1007","author":[{"given":"Apurva","family":"Badithela","sequence":"first","affiliation":[]},{"given":"Josefine B.","family":"Graebener","sequence":"additional","affiliation":[]},{"given":"Inigo","family":"Incer","sequence":"additional","affiliation":[]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,6,3]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Atkinson, C., Gro\u00df, H.G.: Built-in contract testing in model-driven, component-based development. In: Proceedings of ICSR-7 Workshop on Component-Based Development Processes (2002)","DOI":"10.1007\/978-1-4615-1175-5_2"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Badithela, A., Graebener, J.B., Ubellacker, W., Mazumdar, E.V., Ames, A.D., Murray, R.M.: Synthesizing reactive test environments for autonomous systems: testing reach-avoid specifications with multi-commodity flows. In: 2023 International Conference on Robotics and Automation (ICRA), London, UK. IEEE, arXiv preprint arXiv:2210.10304 (2023, to appear)","DOI":"10.1109\/ICRA48891.2023.10160841"},{"key":"17_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Beer, A., Ramler, R.: The role of experience in software testing practice. In: 2008 34th Euromicro Conference Software Engineering and Advanced Applications. pp. 258\u2013265. IEEE (2008)","DOI":"10.1109\/SEAA.2008.28"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200\u2013225. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92188-2_9"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends\u00ae Electron. Design Autom. 12(2\u20133), 124\u2013400 (2018)","DOI":"10.1561\/1000000053"},{"key":"17_CR7","doi-asserted-by":"publisher","unstructured":"Blundell, C., Giannakopoulou, D., Pundefinedsundefinedreanu, C.S.: Assume-guarantee testing, SAVCBS 2005, p. 1-es. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1123058.1123060","DOI":"10.1145\/1123058.1123060"},{"key":"17_CR8","unstructured":"Brand\u00e1n Briones, L.: Assume-guarantee reasoning with ioco testing relation. On testing software and systems: short papers, p. 103 (2010)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Brat, G., Jonsson, A.: Challenges in verification and validation of autonomous systems for space exploration. In: Proceedings of 2005 IEEE International Joint Conference on Neural Networks, vol. 5, pp. 2909\u20132914. IEEE (2005)","DOI":"10.1109\/IJCNN.2005.1556387"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/11596141_8","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M Bruno","year":"2005","unstructured":"Bruno, M., Canfora, G., Di Penta, M., Esposito, G., Mazza, V.: Using test cases as contract to ensure service compliance across releases. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 87\u2013100. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11596141_8"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"NASA Formal Methods","author":"D Cofer","year":"2012","unstructured":"Cofer, D., Gacek, A., Miller, S., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 126\u2013140. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28891-3_13"},{"key":"17_CR12","unstructured":"Dahm, W.J.: Technology horizons vision for the air force during 2010\u20132030 (video). Technical report, Chief Scientist (Air Force) Washington, DC (2011)"},{"key":"17_CR13","doi-asserted-by":"publisher","unstructured":"Dai, G., Bai, X., Wang, Y., Dai, F.: Contract-based testing for web services. In: 31st Annual International Computer Software and Applications Conference (COMPSAC 2007), vol. 1, pp. 517\u2013526 (2007). https:\/\/doi.org\/10.1109\/COMPSAC.2007.100","DOI":"10.1109\/COMPSAC.2007.100"},{"issue":"8","key":"17_CR14","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"EW Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Commun. ACM 18(8), 453\u2013457 (1975)","journal-title":"Commun. ACM"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., et al.: Formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC), pp. 1\u20138. IEEE (2020)","DOI":"10.1109\/ITSC45102.2020.9294368"},{"issue":"6","key":"17_CR16","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1049\/iet-sen:20080012","volume":"2","author":"D Giannakopoulou","year":"2008","unstructured":"Giannakopoulou, D., P\u0103s\u0103reanu, C., Blundell, C.: Assume-guarantee testing for software components. IET Softw. 2(6), 547\u2013562 (2008)","journal-title":"IET Softw."},{"key":"17_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-031-06773-0_7","volume-title":"NASA Formal Methods","author":"JB Graebener","year":"2022","unstructured":"Graebener, J.B., Badithela, A., Murray, R.M.: Towards better test coverage: Merging unit tests for autonomous systems. In: Deshmukh, J.V., Havelund, K., Perez, I. (eds.) NFM 2022. LNCS, vol. 13260, pp. 133\u2013155. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-06773-0_7"},{"key":"17_CR18","doi-asserted-by":"publisher","unstructured":"Heckel, R., Lohmann, M.: Towards contract-based testing of web services. Electron. Notes Theor. Comput. Sci. 116, 145\u2013156 (2005). https:\/\/doi.org\/10.1016\/j.entcs.2004.02.073, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1571066104052831. Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Helle, P., Schamai, W., Strobel, C.: Testing of autonomous systems-challenges and current state-of-the-art. In: INCOSE International Symposium, vol. 26, pp. 571\u2013584. Wiley Online Library (2016)","DOI":"10.1002\/j.2334-5837.2016.00179.x"},{"key":"17_CR20","doi-asserted-by":"publisher","unstructured":"Incer, I., Sangiovanni-Vincentelli, A.L., Lin, C.W., Kang, E.: Quotient for assume-guarantee contracts. In: 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, pp. 67\u201377 (2018). https:\/\/doi.org\/10.1109\/MEMCOD.2018.8556872","DOI":"10.1109\/MEMCOD.2018.8556872"},{"key":"17_CR21","unstructured":"Incer, I.: The algebra of contracts. Ph.D. thesis, EECS Department, University of California, Berkeley (2022)"},{"key":"17_CR22","unstructured":"Incer, I., Mangeruca, L., Villa, T., Sangiovanni-Vincentelli, A.: The quotient in preorder theories. arXiv:2009.10886 (2020)"},{"issue":"3","key":"17_CR23","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/78969.78970","volume":"12","author":"L Lamport","year":"1990","unstructured":"Lamport, L.: Win and sin: predicate transformers for concurrency. ACM Trans. Program. Lang. Syst. (TOPLAS) 12(3), 396\u2013428 (1990)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"10","key":"17_CR24","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u2018design by contract\u2019. Computer 25(10), 40\u201351 (1992)","journal-title":"Computer"},{"key":"17_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/3-540-44618-4_16","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"R Negulescu","year":"2000","unstructured":"Negulescu, R.: Process Spaces. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 199\u2013213. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-44618-4_16"},{"issue":"11","key":"17_CR26","doi-asserted-by":"publisher","first-page":"2104","DOI":"10.1109\/JPROC.2015.2453253","volume":"103","author":"P Nuzzo","year":"2015","unstructured":"Nuzzo, P., Sangiovanni-Vincentelli, A.L., Bresolin, D., Geretti, L., Villa, T.: A platform-based design methodology with contracts and related tools for the design of cyber-physical systems. Proc. IEEE 103(11), 2104\u20132132 (2015)","journal-title":"Proc. IEEE"},{"issue":"5s","key":"17_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3358216","volume":"18","author":"R Passerone","year":"2019","unstructured":"Passerone, R., Incer, I., Sangiovanni-Vincentelli, A.L.: Coherent extension, composition, and merging operators in contract models for system design. ACM Trans. Embed. Comput. Syst. (TECS) 18(5s), 1\u201323 (2019)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"17_CR29","doi-asserted-by":"publisher","first-page":"217","DOI":"10.3166\/ejc.18.217-238","volume":"18","author":"AL Sangiovanni-Vincentelli","year":"2012","unstructured":"Sangiovanni-Vincentelli, A.L., Damm, W., Passerone, R.: Taming Dr. Frankenstein: contract-based design for cyber-physical systems. Eur. J. Control 18(3), 217\u2013238 (2012). https:\/\/doi.org\/10.3166\/ejc.18.217-238","journal-title":"Eur. J. Control"},{"key":"17_CR30","unstructured":"Seshia, S.A., Sadigh, D., Sastry, S.S.: Towards verified artificial intelligence. arXiv preprint arXiv:1606.08514 (2016)"},{"key":"17_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78917-8_1","volume-title":"Formal Methods and Testing","author":"J Tretmans","year":"2008","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) Formal Methods and Testing. LNCS, vol. 4949, pp. 1\u201338. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78917-8_1"},{"issue":"8","key":"17_CR32","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MSPEC.2011.5960163","volume":"48","author":"LG Weiss","year":"2011","unstructured":"Weiss, L.G.: Autonomous robots in the fog of war. IEEE Spectr. 48(8), 30\u201357 (2011)","journal-title":"IEEE Spectr."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-33170-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T18:29:45Z","timestamp":1729535385000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-33170-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031331695","9783031331701"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-33170-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"3 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Houston, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 May 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/nfm-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"75","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.9","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}