{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T11:40:03Z","timestamp":1750938003892,"version":"3.41.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s10009-025-00792-3","type":"journal-article","created":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T12:22:30Z","timestamp":1745410950000},"page":"333-360","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated property-based testing from AADL component contracts"],"prefix":"10.1007","volume":"27","author":[{"given":"John","family":"Hatcliff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Belt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Robby","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacob","family":"Legg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danielle","family":"Stewart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Carpenter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,23]]},"reference":[{"key":"792_CR1","first-page":"415","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Barbosa","year":"2022","unstructured":"Barbosa, H., Barrett, C., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., N\u00f6tzli, A., et al.: cvc5: a versatile and industrial-strength SMT solver. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.\u00a0415\u2013442. Springer, Berlin (2022)"},{"key":"792_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-22110-1_14","volume-title":"International Conference on Computer Aided Verification","author":"C. Barrett","year":"2011","unstructured":"Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovi\u0107, D., King, T., Reynolds, A., Tinelli, C.: Cvc4. In: International Conference on Computer Aided Verification, pp.\u00a0171\u2013177. Springer, Berlin (2011)"},{"key":"792_CR3","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-20398-5_6","volume-title":"NASA Formal Methods","author":"J. Belt","year":"2011","unstructured":"Belt, J., Hatcliff, J., Robby, Chalin, P., Hardin, D., Deng, X.: Bakar Kiasan: flexible contract checking for critical systems using symbolic execution. In: NASA Formal Methods, pp.\u00a058\u201372 (2011)"},{"key":"792_CR4","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102789","volume":"134","author":"J. Belt","year":"2023","unstructured":"Belt, J., Hatcliff, J., Robby, Shackleton, J., Carciofini, J., Carpenter, T., Mercer, E., Amundson, I., Babar, J., Cofer, D., Hardin, D., Hoech, K., Slind, K., Kuz, I., Mcleod, K.: Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134, 102789 (2023)","journal-title":"J. Syst. Archit."},{"key":"792_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/RSP.2014.6966691","volume-title":"2014 25th IEEE International Symposium on Rapid System Prototyping","author":"E. Borde","year":"2014","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 25th IEEE International Symposium on Rapid System Prototyping, pp.\u00a044\u201350 (2014)"},{"issue":"3","key":"792_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., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Leino, K.R.M., Poll, E.: 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":"792_CR7","unstructured":"C, S.A.R.: Architecture analysis and design language (AADL) (2017)"},{"key":"792_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1109\/ICECCS20050.2012.6299202","volume-title":"2012 IEEE 17th International Conference on Engineering of Complex Computer Systems","author":"F. Cadoret","year":"2012","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.\u00a067\u201376. IEEE (2012)"},{"key":"792_CR9","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 \u2013 Object-Oriented Programming","author":"Y. Cheon","year":"2002","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.\u00a0231\u2013255 (2002)"},{"key":"792_CR10","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming","author":"K. Claessen","year":"2000","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.\u00a0268\u2013279 (2000)"},{"key":"792_CR11","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-28891-3_13","volume-title":"Proceedings of the 4th NASA Formal Methods Symposium (NFM 2012)","author":"D.D. Cofer","year":"2012","unstructured":"Cofer, D.D., Gacek, A., Miller, S.P., Whalen, M.W., LaValley, B., Sha, L.: Compositional verification of architectural models. In: Goodloe, A.E., Person, S. (eds.) Proceedings of the 4th NASA Formal Methods Symposium (NFM 2012), vol.\u00a07226, pp.\u00a0126\u2013140. Springer, Berlin (2012)"},{"issue":"3","key":"792_CR12","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MSEC.2022.3151733","volume":"20","author":"D.D. Cofer","year":"2022","unstructured":"Cofer, D.D., Amundson, I., Babar, J., Hardin, D.S., Slind, K., Alexander, P., Hatcliff, J., Robby, Klein, G., Lewis, C., Mercer, E., Shackleton, J.: Cyberassured systems engineering at scale. IEEE Secur. Priv. 20(3), 52\u201364 (2022)","journal-title":"IEEE Secur. Priv."},{"key":"792_CR13","volume-title":"SMT Workshop: International Workshop on Satisfiability Modulo Theories","author":"S. Conchon","year":"2018","unstructured":"Conchon, S., Coquereau, A., Iguernlala, M., Mebsout, A.: Alt-Ergo 2.2. In: SMT Workshop: International Workshop on Satisfiability Modulo Theories (2018)"},{"key":"792_CR14","first-page":"137","volume-title":"Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006","author":"X. Deng","year":"2006","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, p.\u00a0137 (2006)"},{"key":"792_CR15","volume-title":"Testing: Academic and Industrial Conference Practice and Research Techniques (TAICPART 2007)","author":"X. Deng","year":"2007","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)"},{"key":"792_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1109\/QSIC.2009.33","volume-title":"2009 Ninth International Conference on Quality Software","author":"Y.W. Dong","year":"2009","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.\u00a0185\u2013190 (2009)"},{"key":"792_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-15769-1_2","volume-title":"Static Analysis","author":"M. F\u00e4hndrich","year":"2010","unstructured":"F\u00e4hndrich, M.: Static verification for code contracts. In: Static Analysis, pp.\u00a02\u20135 (2010)"},{"key":"792_CR18","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language","author":"P.H. Feiler","year":"2013","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language. Addison-Wesley, Reading (2013)"},{"issue":"2104","key":"792_CR19","volume":"375","author":"K. Fisher","year":"2017","unstructured":"Fisher, K., Launchbury, J., Richards, R.: The HACMS program: using formal methods to eliminate exploitable bugs. Philos. Trans. R. Soc., Math. Phys. Eng. Sci. 375(2104), 20150401 (2017)","journal-title":"Philos. Trans. R. Soc., Math. Phys. Eng. Sci."},{"issue":"3","key":"792_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/2692956.2663177","volume":"34","author":"A. Gacek","year":"2014","unstructured":"Gacek, A., Backes, J., Cofer, D., Slind, K., Whalen, M.: Resolute: an assurance case language for architecture models. ACM SIGAda Lett. 34(3), 19\u201328 (2014)","journal-title":"ACM SIGAda Lett."},{"key":"792_CR21","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"P. Godefroid","year":"2012","unstructured":"Godefroid, P.: Test generation using symbolic execution. In: Foundations of Software Technology and Theoretical Computer Science (2012)"},{"key":"792_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/1065010.1065036","volume-title":"Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"P. Godefroid","year":"2005","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.\u00a0213\u2013223 (2005)"},{"key":"792_CR23","unstructured":"GUMBOX property-based testing case studies (2023). https:\/\/github.com\/santoslab\/gumbox-case-studies"},{"key":"792_CR24","volume-title":"Proceedings of the 19th International Conference on Formal Aspects of Component Software (FACS 2023)","author":"S. Hallerstede","year":"2023","unstructured":"Hallerstede, S., Hatcliff, J.: A mechanized semantics for component-based systems in the HAMR AADL runtime. In: Proceedings of the 19th International Conference on Formal Aspects of Component Software (FACS 2023) (2023)"},{"key":"792_CR25","unstructured":"HAMR project website. https:\/\/hamr.sireum.org (2022)."},{"key":"792_CR26","unstructured":"HARDENS: high assurance rigorous digital engineering for nuclear safety (artifacts repository). https:\/\/github.com\/GaloisInc\/HARDENS"},{"key":"792_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-031-73887-6_9","volume-title":"The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday","author":"J. Hatcliff","year":"2025","unstructured":"Hatcliff, J., Belt, J.: The Isolette system: illustrating end-to-end artifacts for rigorous model-based engineering. In: The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Lecture Notes in Computer Science, vol.\u00a015240, pp.\u00a093\u2013117. Springer, Cham (2025)"},{"issue":"3","key":"792_CR28","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187678","volume":"44","author":"J. Hatcliff","year":"2012","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.: Behavioral interface specification languages. ACM Comput. Surv. 44(3), 16 (2012)","journal-title":"ACM Comput. Surv."},{"key":"792_CR29","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: Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021). Lecture Notes in Computer Science, vol.\u00a013036, pp.\u00a0274\u2013295 (2021)"},{"key":"792_CR30","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation \u2013 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022","author":"J. Hatcliff","year":"2022","unstructured":"Hatcliff, J., Hugues, J., Stewart, D., Wrage, L.: Formalization of the AADL run-time services. In: Leveraging Applications of Formal Methods, Verification and Validation \u2013 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, Rhodes, Greece (2022)"},{"key":"792_CR31","volume-title":"Proceedings of the 2022 ACM Workshop on High Integrity Language Technology. HILT\u201922","author":"J. Hatcliff","year":"2022","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":"792_CR32","volume-title":"Proceedings of the 16th NASA Formal Methods Symposium (NFM 2024)","author":"J. Hatcliff","year":"2024","unstructured":"Hatcliff, J., Belt, J., Robby, Hardin, D.: Integrated contract-based unit and system testing for component-based systems. In: Benz, N., Gopinath, D., Shi, N. (eds.) Proceedings of the 16th NASA Formal Methods Symposium (NFM 2024) (2024)"},{"key":"792_CR33","unstructured":"Hatcliff, J., Stewart, D., Belt, J., Robby, Schwerdfeger, A.: An AADL contract language supporting integrated model- and code-level verification. Int. J. Softw. Tools Technol. Transf. (2024, in press). \u2013 Special issue dedicated to selected papers from HILT 2022"},{"issue":"6","key":"792_CR34","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10009-014-0322-5","volume":"17","author":"D. Hoang","year":"2015","unstructured":"Hoang, D., Moy, Y., Wallenburg, A., Chapman, R.: SPARK 2014 and GNATprove. Int. J. Softw. Tools Technol. Transf. 17(6), 695\u2013707 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"792_CR35","first-page":"1","volume-title":"20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022","author":"J. Hugues","year":"2022","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, October 13-14, 2022, pp.\u00a01\u20139. IEEE (2022)"},{"key":"792_CR36","first-page":"105","volume-title":"2011 European Conference on Software Architecture (ECSA 2011)","author":"A. Johnsen","year":"2011","unstructured":"Johnsen, A., Pettersson, P., Lundqvist, K.: An architecture-based verification technique for AADL specifications. In: 2011 European Conference on Software Architecture (ECSA 2011), pp.\u00a0105\u2013113 (2011)"},{"key":"792_CR37","first-page":"2","volume-title":"Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT\u201912","author":"J. Kanig","year":"2012","unstructured":"Kanig, J.: Leading-edge ada verification technologies: combining testing and verification with GNATTest and GNATProve \u2013 the hi-lite project. In: Proceedings of the 2012 ACM Conference on High Integrity Language Technology, HILT\u201912, Boston, Massachusetts, USA, December 2\u20136, 2012, pp.\u00a02\u20136. ACM, New York (2012)"},{"key":"792_CR38","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":"792_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-642-38088-4_19","volume-title":"Proceedings of the 2013 NASA Formal Methods Conference","author":"B. Larson","year":"2013","unstructured":"Larson, B., Chalin, P., Hatcliff, J.: BLESS: formal specification and verification of behaviors for embedded systems with software. In: Proceedings of the 2013 NASA Formal Methods Conference. Lecture Notes in Computer Science, vol.\u00a07871, pp.\u00a0276\u2013290. Springer, Berlin (2013)"},{"key":"792_CR40","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.) Reliable Software Technologies \u2013 Ada-Europe 2009, pp.\u00a0237\u2013250. Springer, Berlin (2009)"},{"key":"792_CR41","unstructured":"Lempia, D., Miller, S.: DOT\/FAA\/AR-08\/32. Requirements engineering management handbook. Federal Aviation Administration (2009)"},{"key":"792_CR42","volume-title":"ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress","author":"X. Leroy","year":"2016","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":"792_CR43","first-page":"10","volume-title":"Verified Software: Theories, Tools, Experiments: First IFIP TC 2\/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10\u201313, 2005, Revised Selected Papers and Discussions","author":"B. Meyer","year":"2005","unstructured":"Meyer, B.: Eiffel as a framework for verification. In: Verified Software: Theories, Tools, Experiments: First IFIP TC 2\/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10\u201313, 2005, Revised Selected Papers and Discussions, pp.\u00a010\u201313. Springer, Berlin (2005)"},{"key":"792_CR44","first-page":"337","volume-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems","author":"L.D. Moura","year":"2008","unstructured":"Moura, L.D., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.\u00a0337\u2013340. Springer, Berlin (2008)"},{"issue":"3","key":"792_CR45","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":"792_CR46","volume-title":"ScalaCheck: The Definitive Guide","author":"R. Nilsson","year":"2014","unstructured":"Nilsson, R.: ScalaCheck: The Definitive Guide. Artima Press (2014)"},{"key":"792_CR47","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-030-89159-6_17","volume-title":"International Symposium on Leveraging Applications of Formal Methods","author":"Robby","year":"2021","unstructured":"Robby, Hatcliff, J.: Slang: the Sireum programming language. In: International Symposium on Leveraging Applications of Formal Methods, pp.\u00a0253\u2013273. Springer, Berlin (2021)"},{"key":"792_CR48","unstructured":"sel4 microkernel (2015). sel4.systems\/"},{"key":"792_CR49","unstructured":"Sireum logika (2022). https:\/\/logika.sireum.org"},{"key":"792_CR50","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."},{"issue":"2","key":"792_CR51","doi-asserted-by":"publisher","first-page":"934","DOI":"10.4271\/2011-01-2576","volume":"4","author":"D.T. Ward","year":"2011","unstructured":"Ward, D.T., Helton, S.B.: Estimating return on investment for SAVI (a model-based virtual integration process). SAE Int. J. Aerosp. 4(2), 934\u2013943 (2011)","journal-title":"SAE Int. J. Aerosp."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00792-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-025-00792-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-025-00792-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T11:02:15Z","timestamp":1750935735000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-025-00792-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,23]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["792"],"URL":"https:\/\/doi.org\/10.1007\/s10009-025-00792-3","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2025,4,23]]},"assertion":[{"value":"4 April 2025","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2025","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}