{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:59:04Z","timestamp":1743029944645,"version":"3.40.3"},"publisher-location":"Cham","reference-count":52,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031401312"},{"type":"electronic","value":"9783031401329"}],"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-40132-9_1","type":"book-chapter","created":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:02:20Z","timestamp":1692183740000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Testing Ethical Autonomous Decision-Making"],"prefix":"10.1007","author":[{"given":"Michael E.","family":"Akintunde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martim","family":"Brand\u00e3o","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunel","family":"Jahangirova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hector","family":"Menendez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Reza","family":"Mousavi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,17]]},"reference":[{"key":"1_CR1","doi-asserted-by":"publisher","unstructured":"IEEE standard model process for addressing ethical concerns during system design. IEEE Std 7000\u20132021, pp. 1\u201382 (2021). https:\/\/doi.org\/10.1109\/IEEESTD.2021.9536679","DOI":"10.1109\/IEEESTD.2021.9536679"},{"key":"1_CR2","unstructured":"Abbas, H.: Test-Based Falsification and Conformance Testing for Cyber-Physical Systems. Ph.D. thesis, Arizona State University, Tempe, USA (2015). https:\/\/hdl.handle.net\/2286\/R.I.29861"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Abdessalem, R.B., Panichella, A., Nejati, S., Briand, L.C., Stifter, T.: Testing autonomous cars for feature interaction failures using many-objective search. In: 2018 33rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 143\u2013154. IEEE (2018)","DOI":"10.1145\/3238147.3238192"},{"key":"1_CR4","doi-asserted-by":"publisher","unstructured":"Abdessalem, R.B., Panichella, A., Nejati, S., Briand, L.C., Stifter, T.: Testing autonomous cars for feature interaction failures using many-objective search. In: Huchard, M., K\u00e4stner, C., Fraser, G. (eds.) Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3\u20137, 2018, pp. 143\u2013154. ACM (2018). https:\/\/doi.org\/10.1145\/3238147.3238192","DOI":"10.1145\/3238147.3238192"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Aggarwal, A., Lohia, P., Nagar, S., Dey, K., Saha, D.: Black box fairness testing of machine learning models. In: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 625\u2013635 (2019)","DOI":"10.1145\/3338906.3338937"},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1080\/09528130050111428","volume":"12","author":"C Allen","year":"2000","unstructured":"Allen, C., Varner, G., Zinser, J.: Prolegomena to any future artificial moral agent. J. Exper. Theor. Artif. Intell. 12(3), 251\u2013261 (2000)","journal-title":"J. Exper. Theor. Artif. Intell."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Anderson, M., Anderson, S.L.: Machine ethics. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511978036"},{"issue":"1","key":"1_CR8","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1515\/pjbr-2018-0024","volume":"9","author":"M Anderson","year":"2018","unstructured":"Anderson, M., Anderson, S.L.: Geneth: a general ethical dilemma analyzer. Paladyn, J. Behav. Robot. 9(1), 337\u2013357 (2018)","journal-title":"Paladyn, J. Behav. Robot."},{"key":"1_CR9","doi-asserted-by":"publisher","unstructured":"Anderson, S.L.: The Unacceptability of Asimov\u2019s Three Laws of Robotics as a Basis for Machine Ethics, pp. 285\u2013296. Cambridge University Press (2011). https:\/\/doi.org\/10.1017\/CBO9780511978036.021","DOI":"10.1017\/CBO9780511978036.021"},{"key":"1_CR10","unstructured":"Arkoudas, K., Bringsjord, S., Bello, P.: Toward ethical robots via mechanized deontic logic. In: AAAI fall symposium on machine ethics, pp. 17\u201323. The AAAI Press Menlo Park, CA, USA (2005)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Asaro, P.M.: What should we want from a robot ethic? In: Machine Ethics and Robot Ethics, pp. 87\u201394. Routledge (2020)","DOI":"10.4324\/9781003074991-10"},{"issue":"1","key":"1_CR12","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1162\/EVCO_a_00009","volume":"19","author":"J Bader","year":"2011","unstructured":"Bader, J., Zitzler, E.: Hype: an algorithm for fast hypervolume-based many-objective optimization. Evol. Comput. 19(1), 45\u201376 (2011)","journal-title":"Evol. Comput."},{"issue":"5","key":"1_CR13","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1109\/TSE.2014.2372785","volume":"41","author":"ET Barr","year":"2015","unstructured":"Barr, E.T., Harman, M., McMinn, P., Shahbaz, M., Yoo, S.: The oracle problem in software testing: a survey. IEEE Trans. Software Eng. 41(5), 507\u2013525 (2015)","journal-title":"IEEE Trans. Software Eng."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Bottou, L.: Online algorithms and stochastic approxima-p tions. Online learning and neural networks (1998)","DOI":"10.1017\/CBO9780511569920.003"},{"issue":"4","key":"1_CR15","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2006.82","volume":"21","author":"S Bringsjord","year":"2006","unstructured":"Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intell. Syst. 21(4), 38\u201344 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Chakraborty, J., Majumder, S., Menzies, T.: Bias in machine learning software: why? how? what to do? In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 429\u2013440 (2021)","DOI":"10.1145\/3468264.3468537"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Chen, Z., Zhang, J., Sarro, F., Harman, M.: Maat: A novel ensemble approach to addressing fairness and performance bugs for machine learning software. In: The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) (2022)","DOI":"10.1145\/3540250.3549093"},{"key":"1_CR18","unstructured":"Chen, Z., Zhang, J.M., Hort, M., Sarro, F., Harman, M.: Fairness testing: A comprehensive survey and analysis of trends. arXiv preprint arXiv:2207.10223 (2022)"},{"key":"1_CR19","doi-asserted-by":"publisher","unstructured":"Damasceno, C.D.N., Mousavi, M.R., da Silva Sim\u00e3o, A.: Learning to reuse: Adaptive model learning for evolving systems. In: Ahrendt, W., Tarifa, S.L.T. (eds.) Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2\u20136, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11918, pp. 138\u2013156. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_8","DOI":"10.1007\/978-3-030-34968-4_8"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1109\/TEVC.2013.2281535","volume":"18","author":"K Deb","year":"2013","unstructured":"Deb, K., Jain, H.: An evolutionary many-objective optimization algorithm using reference-point-based nondominated sorting approach, part i: solving problems with box constraints. IEEE Trans. Evol. Comput. 18(4), 577\u2013601 (2013)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Bentzen, M.M., Lindner, F., Fisher, M.: Verifiable machine ethics in changing contexts. In: Proceedings of the AAAI Conference on Artificial Intelligence. vol. 35, pp. 11470\u201311478 (2021)","DOI":"10.1609\/aaai.v35i13.17366"},{"key":"1_CR22","unstructured":"Dennis, L.A., Fisher, M., Winfield, A.: Towards verifiably ethical robot behaviour. In: Workshops at the Twenty-Ninth AAAI Conference on Artificial Intelligence (2015)"},{"key":"1_CR23","doi-asserted-by":"publisher","DOI":"10.1093\/oxfordhb\/9780190067397.001.0001","author":"MD Dubber","year":"2020","unstructured":"Dubber, M.D., Pasquale, F., Das, S.: The Oxford Handbook of Ethics of AI. Oxford Univ. Press (2020). https:\/\/doi.org\/10.1093\/oxfordhb\/9780190067397.001.0001","journal-title":"Oxford Univ. Press"},{"issue":"6","key":"1_CR24","doi-asserted-by":"publisher","first-page":"3285","DOI":"10.1007\/s11948-020-00272-8","volume":"26","author":"K Evans","year":"2020","unstructured":"Evans, K., de Moura, N., Chauvier, S., Chatila, R., Dogan, E.: Ethical decision making in autonomous vehicles: the AV ethics project. Sci. Eng. Ethics 26(6), 3285\u20133312 (2020). https:\/\/doi.org\/10.1007\/s11948-020-00272-8","journal-title":"Sci. Eng. Ethics"},{"issue":"4","key":"1_CR25","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1007\/s13347-021-00451-w","volume":"34","author":"J Gogoll","year":"2021","unstructured":"Gogoll, J., Zuber, N., Kacianka, S., Greger, T., Pretschner, A., Nida-R\u00fcmelin, J.: Ethics in the software development process: from codes of conduct to ethical deliberation. Philos. Technol. 34(4), 1085\u20131108 (2021). https:\/\/doi.org\/10.1007\/s13347-021-00451-w","journal-title":"Philos. Technol."},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-22670-0_9","volume-title":"Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation","author":"O Goldreich","year":"2011","unstructured":"Goldreich, O., Ron, D.: On testing expansion in bounded-degree graphs. In: Goldreich, O. (ed.) Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation. LNCS, vol. 6650, pp. 68\u201375. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22670-0_9"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Govindarajulu, N.S., Bringsjord, S., Ghosh, R., Sarathy, V.: Toward the engineering of virtuous machines. In: Proceedings of the 2019 AAAI\/ACM Conference on AI, Ethics, and Society, pp. 29\u201335. AIES \u201919, Association for Computing Machinery, New York, NY, USA (2019)","DOI":"10.1145\/3306618.3314256"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Harman, M., Jia, Y., Zhang, Y.: Achievements, open problems and challenges for search based software testing. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201312. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102580"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Jahangirova, G., Clark, D., Harman, M., Tonella, P.: Test oracle assessment and improvement. In: Proceedings of the 25th International Symposium on Software Testing and Analysis, pp. 247\u2013258 (2016)","DOI":"10.1145\/2931037.2931062"},{"issue":"8","key":"1_CR30","doi-asserted-by":"publisher","first-page":"1708","DOI":"10.1109\/TSE.2019.2934409","volume":"47","author":"G Jahangirova","year":"2019","unstructured":"Jahangirova, G., Clark, D., Harman, M., Tonella, P.: An empirical validation of oracle improvement. IEEE Trans. Softw. Eng. 47(8), 1708\u20131728 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"1_CR31","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s00521-013-1534-4","volume":"25","author":"LC Jain","year":"2014","unstructured":"Jain, L.C., Seera, M., Lim, C.P., Balasubramaniam, P.: A review of online learning in supervised neural networks. Neural Comput. Appl. 25(3), 491\u2013509 (2014)","journal-title":"Neural Comput. Appl."},{"key":"1_CR32","unstructured":"Kant, I.: Groundwork for the Metaphysics of Morals. Yale University Press. Commented by Jerome B Schneewind (1785)"},{"key":"1_CR33","series-title":"Cognitive Technologies","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-319-21548-8_8","volume-title":"A Construction Manual for Robots\u2019 Ethical Systems","author":"T Madl","year":"2015","unstructured":"Madl, T., Franklin, S.: Constrained incrementalist moral decision making for a biologically inspired cognitive architecture. In: Trappl, R. (ed.) A Construction Manual for Robots\u2019 Ethical Systems. CT, pp. 137\u2013153. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21548-8_8"},{"issue":"2","key":"1_CR34","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: a survey. Software testing, Verification and reliability 14(2), 105\u2013156 (2004)","journal-title":"Software testing, Verification and reliability"},{"issue":"5","key":"1_CR35","doi-asserted-by":"publisher","first-page":"2381","DOI":"10.1007\/s11948-020-00236-y","volume":"26","author":"V Nallur","year":"2020","unstructured":"Nallur, V.: Landscape of machine implemented ethics. Sci. Eng. Ethics 26(5), 2381\u20132399 (2020)","journal-title":"Sci. Eng. Ethics"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Panichella, A., Kifetew, F.M., Tonella, P.: Reformulating branch coverage as a many-objective optimization problem. In: 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102604"},{"key":"1_CR37","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.neunet.2019.01.012","volume":"113","author":"GI Parisi","year":"2019","unstructured":"Parisi, G.I., Kemker, R., Part, J.L., Kanan, C., Wermter, S.: Continual lifelong learning with neural networks: a review. Neural Netw. 113, 54\u201371 (2019)","journal-title":"Neural Netw."},{"key":"1_CR38","unstructured":"Pontier, M., Hoorn, J.: Toward machines that behave ethically better than humans do. In: Proceedings of the Annual Meeting of the Cognitive Science Society, vol. 34 (2012)"},{"key":"1_CR39","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-41142-7_20","volume-title":"Artificial Intelligence Applications and Innovations","author":"MA Pontier","year":"2013","unstructured":"Pontier, M.A., Widdershoven, G.A.M.: Robots that stimulate autonomy. In: Papadopoulos, H., Andreou, A.S., Iliadis, L., Maglogiannis, I. (eds.) AIAI 2013. IAICT, vol. 412, pp. 195\u2013204. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-41142-7_20"},{"key":"1_CR40","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson, 4th edition edn. (2020)"},{"key":"1_CR41","doi-asserted-by":"publisher","unstructured":"Shea-Blymyer, C., Abbas, H.: Algorithmic ethics: Formalization and verification of autonomous vehicle obligations. ACM Trans. Cyber-Phys. Syst. 5(4) (sep 2021). https:\/\/doi.org\/10.1145\/3460975","DOI":"10.1145\/3460975"},{"key":"1_CR42","unstructured":"Sinnott-Armstrong, W.: Consequentialism. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Fall 2021 edn. (2021)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Slote, M.: Agent-based virtue ethics. Handbuch Tugend und Tugendethik, pp. 1\u201310 (2020)","DOI":"10.1007\/978-3-658-24467-5_24-1"},{"key":"1_CR44","unstructured":"Smuha, N.: Ethics guidelines for trustworthy ai. In: AI & Ethics, Date: 2019\/05\/28-2019\/05\/28, Location: Brussels (Digityser), Belgium (2019)"},{"key":"1_CR45","doi-asserted-by":"crossref","unstructured":"T\u00e4nnsj\u00f6, T.: Understanding ethics. Edinburgh University Press (2013)","DOI":"10.1515\/9780748682263"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Terragni, V., Jahangirova, G., Tonella, P., Pezz\u00e8, M.: Evolutionary improvement of assertion oracles. In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1178\u20131189 (2020)","DOI":"10.1145\/3368089.3409758"},{"issue":"6","key":"1_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3419633","volume":"53","author":"S Tolmeijer","year":"2020","unstructured":"Tolmeijer, S., Kneer, M., Sarasua, C., Christen, M., Bernstein, A.: Implementations in machine ethics: a survey. ACM Comput. Surv. (CSUR) 53(6), 1\u201338 (2020)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"1_CR48","unstructured":"UNESCO: Recommendation on the Ethics of Artificial Intelligence. United Nations Educational, Scientific and Cultural Organization (2022)"},{"issue":"2","key":"1_CR49","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2967606","volume":"60","author":"FW Vaandrager","year":"2017","unstructured":"Vaandrager, F.W.: Model learning. Commun. ACM 60(2), 86\u201395 (2017). https:\/\/doi.org\/10.1145\/2967606","journal-title":"Commun. ACM"},{"key":"1_CR50","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1016\/j.cogsys.2017.04.002","volume":"48","author":"D Vanderelst","year":"2018","unstructured":"Vanderelst, D., Winfield, A.: An architecture for ethical robots inspired by the simulation theory of cognition. Cogn. Syst. Res. 48, 56\u201366 (2018)","journal-title":"Cogn. Syst. Res."},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Wu, Y.H., Lin, S.D.: A low-cost ethics shaping approach for designing reinforcement learning agents. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32 (2018)","DOI":"10.1609\/aaai.v32i1.11498"},{"key":"1_CR52","doi-asserted-by":"crossref","unstructured":"Zagzebski, L.: Exemplarist virtue theory. Metaphilosophy (2010)","DOI":"10.1002\/9781444391398.ch3"}],"container-title":["Lecture Notes in Computer Science","Applicable Formal Methods for Safe Industrial Products"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40132-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,16]],"date-time":"2023-08-16T11:02:37Z","timestamp":1692183757000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40132-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031401312","9783031401329"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40132-9_1","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":"17 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}