{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:44:25Z","timestamp":1757616265450,"version":"3.44.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030564407"},{"type":"electronic","value":"9783030564414"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-56441-4_20","type":"book-chapter","created":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T19:02:37Z","timestamp":1596999757000},"page":"275-288","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["A Framework for Automated Testing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8257-825X","authenticated-orcid":false,"given":"Thomas","family":"Fehlmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5422-9973","authenticated-orcid":false,"given":"Eberhard","family":"Kranich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,10]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Erich, F., Amrit, C., Daneva, M.: A qualitative study of DevOps usage in practice. J. Softw. Evol. Process 29(6), June 2017","DOI":"10.1002\/smr.1885"},{"key":"20_CR2","series-title":"The Addison-Wesley Object Technology Series","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"2007","unstructured":"Booch, G., et al.: Object-Oriented Analysis and Design with Applications. The Addison-Wesley Object Technology Series, vol. 3. Addison-Wesley, Upper Saddle River (2007)"},{"key":"20_CR3","volume-title":"eXtreme Programming Explained","author":"K Beck","year":"2000","unstructured":"Beck, K.: eXtreme Programming Explained. Addison-Wesley, Boston (2000)"},{"key":"20_CR4","volume-title":"Autonomous Real-time Testing - Testing Artificial Intelligence and Other Complex Systems","author":"TM Fehlmann","year":"2020","unstructured":"Fehlmann, T.M.: Autonomous Real-time Testing - Testing Artificial Intelligence and Other Complex Systems. Logos Press, Berlin (2020)"},{"issue":"5","key":"20_CR5","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1002\/smr.502","volume":"24","author":"M Korsaa","year":"2012","unstructured":"Korsaa, M., et al.: The SPI manifesto and the ECQA SPI manager certification scheme. J. Softw. Evol. Process 24(5), 525\u2013540 (2012)","journal-title":"J. Softw. Evol. Process"},{"key":"20_CR6","unstructured":"CloudBees, Inc. Jenkins - Build great things at any scale. https:\/\/jenkins.io. Accessed 31 Mar 2020"},{"key":"20_CR7","unstructured":"Atlassian. Inc. Atlassian Software Development. https:\/\/www.atlassian.com\/?tab=code-build-and-ship. Accessed 31 Mar 2020"},{"key":"20_CR8","unstructured":"JUnit Team. The new major version of the programmer-friendly testing framework for Java, Open Source Development. https:\/\/junit.org\/junit5\/. Accessed 8 Apr 2020"},{"key":"20_CR9","volume-title":"Implementing Lean Software Development","author":"M Poppendieck","year":"2007","unstructured":"Poppendieck, M., Poppendieck, T.: Implementing Lean Software Development. Addison-Wesley, New York (2007)"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF02483849","volume":"13","author":"E Engeler","year":"1981","unstructured":"Engeler, E.: Algebras and combinators. Algebra Universalis 13, 389\u2013392 (1981). https:\/\/doi.org\/10.1007\/BF02483849","journal-title":"Algebra Universalis"},{"key":"20_CR11","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.tcs.2019.03.038","volume":"777","author":"E Engeler","year":"2019","unstructured":"Engeler, E.: Neural algebra on \u201chow does the brain think?\u201d. Theor. Comput. Sci. 777, 296\u2013307 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"20_CR12","unstructured":"ETSI European Telecoms Standards Institute. TTCN-3 Standards, ETSI, Sophia-Antipolis Cedex, France (2018). http:\/\/www.ttcn-3.org\/index.php\/downloads\/standards. Accessed 11 Dec 2018"},{"key":"20_CR13","unstructured":"Ebner, M.: TTCN-3 test case generation from message sequence charts, G\u00f6ttingen, Germany. In: Workshop on Integrated-reliability with Telecommunications and UML Languages (ISSRE04:WITUL) (2004)"},{"key":"20_CR14","volume-title":"Managing Complexity - Uncover the Mysteries with Six Sigma Transfer Functions","author":"TM Fehlmann","year":"2016","unstructured":"Fehlmann, T.M.: Managing Complexity - Uncover the Mysteries with Six Sigma Transfer Functions. Logos Press, Berlin (2016)"},{"key":"20_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4268-0","volume-title":"The Combinatory Programme","author":"E Engeler","year":"1995","unstructured":"Engeler, E.: The Combinatory Programme. Birkh\u00e4user, Basel (1995)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. In: Proceedings of the London Mathematical Society, vol. 42, no. 2, pp 230\u2013265 (1937)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"20_CR17","volume-title":"Combinatory Logic","author":"H Curry","year":"1958","unstructured":"Curry, H., Feys, R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)"},{"key":"20_CR18","volume-title":"Combinatory Logic","author":"H Curry","year":"1972","unstructured":"Curry, H., Hindley, J., Seldin, J.: Combinatory Logic, vol. II. North-Holland, Amsterdam (1972)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Barendregt, H.P.: The type-free lambda-calculus. In: Barwise, J. (ed.) Handbook of Math Logic, vol. 90, Amsterdam, North Holland, pp. 1091\u20131132 (1977)","DOI":"10.1016\/S0049-237X(08)71129-7"},{"key":"20_CR20","unstructured":"Fehlmann, T.M.: Theorie und Anwendung des Graphmodells der Kombinatorischen Logik, ETH Dissertation 3140-01, Z\u00fcrich, CH (1981)"},{"key":"20_CR21","unstructured":"Barwise, J., et al.: Handbook of mathematical logic. In: Barwise, J. (ed.) Studies in Logic and the Foundations of Mathematics, vol. 90. North-Holland Publishing Company, Amsterdam (1977)"},{"key":"20_CR22","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"640","DOI":"10.1007\/978-3-319-97925-0_54","volume-title":"Systems, Software and Services Process Improvement","author":"T Fehlmann","year":"2018","unstructured":"Fehlmann, T., Kranich, E.: Theoretical aspects of consumer metrics for safety & privacy. In: Larrucea, X., Santamaria, I., O\u2019Connor, Rory V., Messnarz, R. (eds.) EuroSPI 2018. CCIS, vol. 896, pp. 640\u2013653. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-97925-0_54"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Fehlmann, T.M., Kranich, E.: Practical aspects of consumer metrics for safety & privacy. In: Proceedings der GI-Informatik 2018 (proposed), Zurich, Switzerland (2018)","DOI":"10.1007\/978-3-319-97925-0_54"},{"key":"20_CR24","unstructured":"ISO\/IEC 19761. Software engineering - COSMIC: a functional size measurement method, ISO\/IEC JTC 1\/SC 7, Geneva, Switzerland (2011)"},{"key":"20_CR25","unstructured":"COSMIC Measurement Practices Committee. The COSMIC Measurement Manual for ISO 19761 \u2013 Version 5.0, Part 1\u20133, The COSMIC Consortium, Montr\u00e9al (2020)"},{"key":"20_CR26","unstructured":"ISO\/IEC 14143-1. Information technology - Software measurement - Functional size measurement - Part 1: Definition of concepts, ISO\/IEC JTC 1\/SC 7, Geneva, Switzerland (2007)"},{"key":"20_CR27","unstructured":"ISO 16355-1:2015. ISO 16355-1:2015, 2015. Applications of Statistical and Related Methods to New Technology and Product Development Process - Part 1: General Principles and Perspectives of Quality Function Deployment (QFD), Geneva, Switzerland: ISO TC 69\/SC 8\/WG 2\u00a0N 14, ISO TC 69\/SC 8\/WG 2\u00a0N 14, Geneva, Switzerland (2015)"},{"key":"20_CR28","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/978-3-030-28005-5_55","volume-title":"Systems, Software and Services Process Improvement","author":"T Fehlmann","year":"2019","unstructured":"Fehlmann, T.: Testing artificial intelligence. In: Walker, A., O\u2019Connor, Rory V., Messnarz, R. (eds.) EuroSPI 2019. CCIS, vol. 1060, pp. 709\u2013721. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-28005-5_55"},{"key":"20_CR29","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0377-2217(02)00227-8","volume":"145","author":"TL Saaty","year":"2003","unstructured":"Saaty, T.L.: Decision-making with the AHP: Why is the principal eigenvector necessary? Eur. J. Oper. Res. 145, 85\u201391 (2003)","journal-title":"Eur. J. Oper. Res."},{"key":"20_CR30","unstructured":"Fehlmann, T.M., Kranich, E.: Uncovering Customer Needs from Net Promoter Scores, Istanbul, Turkey (2014)"},{"issue":"4","key":"20_CR31","doi-asserted-by":"publisher","first-page":"265","DOI":"10.30958\/ajs.6-4-3","volume":"6","author":"TM Fehlmann","year":"2019","unstructured":"Fehlmann, T.M., Kranich, E.: Testing artificial intelligence by customers\u2019 needs. Athens J. Sci. 6(4), 265\u2013286 (2019)","journal-title":"Athens J. Sci."},{"key":"20_CR32","unstructured":"Fehlmann, T.M., Kranich, E.: Intuitionism and computer science \u2013 why computer scientists do not like the axiom of choice. Athens J. Sci., Submitted"},{"key":"20_CR33","unstructured":"Pupale, R.: Support Vector Machines (SVM)\u200a - \u200aAn Overview, 16 June 2018. https:\/\/towardsdatascience.com\/https-medium-com-pupalerushikesh-svm-f4b42800e989. Accessed 28 Mar 2019"},{"key":"20_CR34","unstructured":"Fehlmann, T.M., Kranich, E.: A Sensitivity Analysis Procedure for QFD, Duisburg (2020, to appear)"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-56441-4_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T18:09:13Z","timestamp":1757095753000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-56441-4_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030564407","9783030564414"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-56441-4_20","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"10 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EuroSPI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Process Improvement","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"D\u00fcsseldorf","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurospi2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2020.eurospi.net\/","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":"Proprietary system","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100","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":"50","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":"13","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":"50% - 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":"4","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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was partially held virtually due to the COVID-19 pandemic","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}