{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:02:05Z","timestamp":1786978925966,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031436802","type":"print"},{"value":"9783031436819","type":"electronic"}],"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-43681-9_8","type":"book-chapter","created":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T02:02:16Z","timestamp":1694829736000},"page":"131-150","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Automated Property-Based Testing from\u00a0AADL Component Contracts"],"prefix":"10.1007","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason","family":"Belt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Robby","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacob","family":"Legg","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Danielle","family":"Stewart","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd","family":"Carpenter","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,9,17]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/978-3-030-99524-9_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Barbosa","year":"2022","unstructured":"Barbosa, H., et al.: cvc5: A versatile and industrial-strength SMT solver. In: TACAS 2022. LNCS, vol. 13243, pp. 415\u2013442. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99524-9_24"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","volume-title":"Computer Aided Verification","author":"C Barrett","year":"2011","unstructured":"Barrett, C., et al.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 171\u2013177. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_14"},{"key":"8_CR3","doi-asserted-by":"publisher","unstructured":"Belt, J., Hatcliff, J., Robby, Chalin, P., Hardin, D., Deng, X.: Bakar kiasan: flexible contract checking for critical systems using symbolic execution. In: Bobaru, M., Havelund, K., Holzmann, G.J., Joshi, R. (eds.) NFM 2011. LNCS, vol. 6617, pp. 58\u201372. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20398-5_6","DOI":"10.1007\/978-3-642-20398-5_6"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Belt, J., et al.: Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. (2022)","DOI":"10.1016\/j.sysarc.2022.102789"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Borde, E., Rahmoun, S., Cadoret, F., Pautet, L., Singhoff, F., Dissaux, P.: Architecture models refinement for fine grain timing analysis of embedded systems. In: 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp. 44\u201350 (2014)","DOI":"10.1109\/RSP.2014.6966691"},{"issue":"3","key":"8_CR6","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/s10009-004-0167-4","volume":"7","author":"L Burdy","year":"2005","unstructured":"Burdy, L., et al.: An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transf. 7(3), 212\u2013232 (2005)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR7","unstructured":"C, S.A.R.: Architecture analysis and design language (AADL) (2017)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Cadoret, F., Borde, E., Gardoll, S., Pautet, L.: Design patterns for rule-based refinement of safety critical embedded systems models. In: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, pp. 67\u201376. IEEE (2012)","DOI":"10.1109\/ICECCS20050.2012.6299202"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: the JML and JUNIT way. In: ECOOP 2002 \u2013 Object-Oriented Programming, pp. 231\u2013255 (2002)","DOI":"10.1007\/3-540-47993-7_10"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/357766.351266"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Cofer, D.D., et al.: Cyberassured systems engineering at scale. IEEE Secur. Priv. 20(3), 52\u201364 (2022)","DOI":"10.1109\/MSEC.2022.3151733"},{"key":"8_CR12","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":"8_CR13","unstructured":"Conchon, S., Coquereau, A., Iguernlala, M., Mebsout, A.: Alt-ergo 2.2. In: SMT Workshop: International Workshop on Satisfiability Modulo Theories (2018)"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Deng, X., Robby, Hatcliff, J.: Kiasan: a verification and test-case generation framework for java based on symbolic execution. In: Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15\u201319 November 2006, pp. 137 (2006)","DOI":"10.1109\/ISoLA.2006.60"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Deng, X., Robby, Hatcliff, J.: Kiasan\/kunit: automatic test case generation and analysis feedback for open object-oriented systems. In: Testing: Academic and Industrial Conference Practice and Research Techniques (TAICPART 2007) (2007)","DOI":"10.1109\/TAICPART.2007.4344093"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Dong, Y.W., Wang, G., Zhao, H.B.: A model-based testing for AADL model of embedded software. In: 2009 Ninth International Conference on Quality Software, pp. 185\u2013190 (2009)","DOI":"10.1109\/QSIC.2009.33"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M.: Static verification for code contracts. In: Static Analysis, pp. 2\u20135 (2010)","DOI":"10.1007\/978-3-642-15769-1_2"},{"key":"8_CR18","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language. Addison-Wesley, Boston (2013)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Fisher, K., Launchbury, J., Richards, R.: The HACMS program: using formal methods to eliminate exploitable bugs. Philos. Trans. Roy. Soc. A Math. Phys. Eng. Sci. 375(2104) (2017)","DOI":"10.1098\/rsta.2015.0401"},{"key":"8_CR20","unstructured":"Godefroid, P.: Test generation using symbolic execution. In: Foundations of Software Technology and Theoretical Computer Science (2012)"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 213\u2013223 (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"8_CR22","unstructured":"GUMBOX property-based testing case studies (2023). https:\/\/github.com\/santoslab\/gumbox-case-studies"},{"key":"8_CR23","unstructured":"HAMR project website (2022). https:\/\/hamr.sireum.org"},{"key":"8_CR24","unstructured":"HARDENS: high assurance rigorous digital engineering for nuclear safety (artifacts repository). https:\/\/github.com\/GaloisInc\/HARDENS"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-030-89159-6_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2021","author":"J Hatcliff","year":"2021","unstructured":"Hatcliff, J., Belt, J., Robby, Carpenter, T.: HAMR: an AADL multi-platform code generation toolset. In: Margaria, T., Steffen, B. (eds.) ISoLA 2021. LNCS, vol. 13036, pp. 274\u2013295. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_18"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-031-19756-7_7","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - ISoLA 2022","author":"J Hatcliff","year":"2022","unstructured":"Hatcliff, J., Hugues, J., Stewart, D., Wrage, L.: Formalization of the AADL run-time services. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 105\u2013134. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-19756-7_7"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.: Behavioral interface specification languages. ACM Comput. Surv. 44(3) (2012)","DOI":"10.1145\/2187671.2187678"},{"key":"8_CR28","unstructured":"Hatcliff, J., Stewart, D., Belt, J., Robby, Schwerdfeger, A.: An AADL contract language supporting integrated model- and code-level verification. In: Proceedings of the 2022 ACM Workshop on High Integrity Language Technology. HILT \u201922 (2022)"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Hoang, D., Moy, Y., Wallenburg, A., Chapman, R.: SPARK 2014 and GNATprove. Int. J. Softw. Tools Technol. Transf. 17(6) (2015)","DOI":"10.1007\/s10009-014-0322-5"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Hugues, J., Wrage, L., Hatcliff, J., Stewart, D.: Mechanization of a large DSML: an experiment with AADL and coq. In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, 13\u201314 October 2022, pp. 1\u20139. IEEE (2022)","DOI":"10.1109\/MEMOCODE57689.2022.9954589"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-642-23798-0_11","volume-title":"Software Architecture","author":"A Johnsen","year":"2011","unstructured":"Johnsen, A., Pettersson, P., Lundqvist, K.: An architecture-based verification technique for AADL specifications. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol. 6903, pp. 105\u2013113. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23798-0_11"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Kanig, J.: Leading-edge ADA verification technologies: combining testing and verification with gnattest and gnatprove - the hi-lite project. In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT \u201912, 2\u20136 December 2012, Boston, Massachusetts, USA, pp. 5\u20136. ACM (2012)","DOI":"10.1145\/2402676.2402680"},{"key":"8_CR33","unstructured":"Kline, S., Hudak, J., O\u2019Neill, A.: Automated test and re-test for AADL (SBIR project between Innovative Defense Technologies and the Software Engineering Institute) (2022). https:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?assetid=651952"},{"key":"8_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"276","DOI":"10.1007\/978-3-642-38088-4_19","volume-title":"NASA Formal Methods","author":"BR Larson","year":"2013","unstructured":"Larson, B.R., Chalin, P., Hatcliff, J.: BLESS: formal specification and verification of behaviors for embedded systems with software. In: Brat, G., Rungta, N., Venet, A. (eds.) NFM 2013. LNCS, vol. 7871, pp. 276\u2013290. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38088-4_19"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-01924-1_17","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2009","author":"G Lasnier","year":"2009","unstructured":"Lasnier, G., Zalila, B., Pautet, L., Hugues, J.: Ocarina: an environment for AADL models analysis and automatic code generation for high integrity applications. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 237\u2013250. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01924-1_17"},{"key":"8_CR36","unstructured":"Lempia, D., Miller, S.: DOT\/FAA\/AR-08\/32. Requirements Engineering Management Handbook, Federal Aviation Administration (2009)"},{"key":"8_CR37","unstructured":"Leroy, X., Blazy, S., K\u00e4stner, D., Schommer, B., Pister, M., Ferdinand, C.: CompCert-a formally verified optimizing compiler. In: ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress (2016)"},{"key":"8_CR38","unstructured":"Sireum logika (2022). https:\/\/logika.sireum.org"},{"key":"8_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/978-3-540-69149-5_32","volume-title":"Verified Software: Theories, Tools, Experiments","author":"B Meyer","year":"2008","unstructured":"Meyer, B.: Eiffel as a framework for verification. In: Meyer, B., Woodcock, J. (eds.) VSTTE 2005. LNCS, vol. 4171, pp. 301\u2013307. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69149-5_32"},{"key":"8_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"issue":"3","key":"8_CR41","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2013.43","volume":"30","author":"Y Moy","year":"2013","unstructured":"Moy, Y., Ledinot, E., Delseny, H., Wiels, V., Monate, B.: Testing or formal verification: DO-178C alternatives and industrial experience. IEEE Softw. 30(3), 50\u201357 (2013)","journal-title":"IEEE Softw."},{"key":"8_CR42","unstructured":"Nilsson, R.: ScalaCheck: The Definitive Guide. Artima Press, Walnut Creek (2014)"},{"key":"8_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-030-89159-6_17","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2021","author":"Robby","year":"2021","unstructured":"Robby, Hatcliff, J.: Slang: the Sireum programming language. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation - ISoLA 2021. Lecture Notes in Computer Science, vol. 13036, pp. 253\u2013273. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-89159-6_17"},{"key":"8_CR44","unstructured":"sel4 microkernel (2015). sel4.systems\/"},{"key":"8_CR45","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2021.107649","volume":"213","author":"D Stewart","year":"2021","unstructured":"Stewart, D., Liu, J.J., Cofer, D., Heimdahl, M., Whalen, M.W., Peterson, M.: AADL-based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213, 107649 (2021)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"8_CR46","doi-asserted-by":"crossref","unstructured":"Ward, D.T., Helton, S.B.: Estimating return on investment for SAVI (a model-based virtual integration process. SAE International J. Aerosp. (2011)","DOI":"10.4271\/2011-01-2576"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43681-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T05:05:14Z","timestamp":1710824714000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43681-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031436802","9783031436819"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43681-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Antwerp","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Belgium","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":"20 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.uantwerpen.be\/en\/conferences\/confest-2023\/fmics\/","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":"24","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":"14","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":"0","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":"58% - 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","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":"2,5","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)"}}]}}