English
Related papers

Related papers: Software Doping Analysis for Human Oversight

200 papers

The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doing. Most malfunctionings of such systems are not intended by…

Logic in Computer Science · Computer Science 2019-04-19 Sebastian Biewer , Pedro D'Argenio , Holger Hermanns

Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are confronted with the situation that economical or…

Logic in Computer Science · Computer Science 2017-02-16 Pedro R. D'Argenio , Gilles Barthe , Sebastian Biewer , Bernd Finkbeiner , Holger Hermanns

This paper provides an informal discussion of the formal aspects of software doping.

Logic in Computer Science · Computer Science 2018-03-28 Gilles Barthe , Pedro R. D'Argenio , Bernd Finkbeiner , Holger Hermanns

Algorithmic discrimination is a condition that arises when data-driven software unfairly treats users based on attributes like ethnicity, race, gender, sexual orientation, religion, age, disability, or other personal characteristics.…

Software Engineering · Computer Science 2024-01-18 Ramandeep Singh Dehal , Mehak Sharma , Ronnie de Souza Santos

As software systems continue to play a significant role in modern society, ensuring their fairness has become a critical concern in software engineering. Motivated by this scenario, this paper focused on exploring the multifaceted nature of…

Software Engineering · Computer Science 2025-01-10 Ronnie de Souza Santos , Felipe Fronchetti , Savio Freire , Rodrigo Spinola

We assert that it is the ethical duty of software engineers to strive to reduce software discrimination. This paper discusses how that might be done. This is an important topic since machine learning software is increasingly being used to…

Software Engineering · Computer Science 2019-10-31 Joymallya Chakraborty , Tianpei Xia , Fahmid M. Fahid , Tim Menzies

Context. Algorithmic racism is the term used to describe the behavior of technological solutions that constrains users based on their ethnicity. Lately, various data-driven software systems have been reported to discriminate against Black…

Software Engineering · Computer Science 2023-06-28 Ronnie de Souza Santos , Luiz Fernando de Lima , Cleyton Magalhaes

How can society understand and hold accountable complex human and algorithmic decision-making systems whose systematic errors are opaque to the public? These systems routinely make decisions on individual rights and well-being, and on…

Human-Computer Interaction · Computer Science 2021-11-01 J. Nathan Matias , Austin Hounsel , Nick Feamster

Machine learning software is increasingly being used to make decisions that affect people's lives. But sometimes, the core part of this software (the learned model), behaves in a biased manner that gives undue advantages to a specific group…

Software Engineering · Computer Science 2020-10-07 Joymallya Chakraborty , Suvodeep Majumder , Zhe Yu , Tim Menzies

This paper defines software fairness and discrimination and develops a testing-based method for measuring if and how much software discriminates, focusing on causality in discriminatory behavior. Evidence of software discrimination has been…

Software Engineering · Computer Science 2017-09-12 Sainyam Galhotra , Yuriy Brun , Alexandra Meliou

As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, societal, and environmental values, alongside traditional…

Software Engineering · Computer Science 2024-12-30 Marco Autili , Martina De Sanctis , Paola Inverardi , Patrizio Pelliccione

Artificial Intelligence (AI) is making a significant impact in multiple areas like medical, military, industrial, domestic, law, arts as AI is capable to perform several roles such as managing smart factories, driving autonomous vehicles,…

Software Engineering · Computer Science 2022-01-17 Zubair Khaliq , Sheikh Umar Farooq , Dawood Ashraf Khan

Context. As software systems become more integrated into society's infrastructure, the responsibility of software professionals to ensure compliance with various non-functional requirements increases. These requirements include security,…

In the last decade, researchers have studied fairness as a software property. In particular, how to engineer fair software systems? This includes specifying, designing, and validating fairness properties. However, the landscape of works…

Software Engineering · Computer Science 2026-04-22 Ezekiel Soremekun , Mike Papadakis , Maxime Cordy , Yves Le Traon

In recent years, technology has advanced considerably with the introduction of many systems including advanced robotics, big data analytics, cloud computing, machine learning and many more. The opportunities to exploit the yet to come…

Cryptography and Security · Computer Science 2023-11-21 Sam Wen Ping , Jeffrey Cheok Jun Wah , Lee Wen Jie , Jeremy Bong Yong Han , Saira Muzafar

The proliferation of software and AI comes with a hidden risk: its growing energy and carbon footprint. As concerns regarding environmental sustainability come to the forefront, understanding and optimizing how software impacts the…

The phrase 'human in the loop' is increasingly used to imply a sense of safety in relation to AI decision systems. It shouldn't. There are contexts where it can be applied appropriately, but these are not in the deployed decision systems we…

Human-Computer Interaction · Computer Science 2026-05-14 Ben Wilson , Matimba Swana , Peter Winter , Matt Roach

Combining big data and machine learning algorithms, the power of automatic decision tools induces as much hope as fear. Many recently enacted European legislation (GDPR) and French laws attempt to regulate the use of these tools. Leaving…

Other Statistics · Statistics 2018-10-04 Philippe Besse , Celine Castets-Renard , Aurelien Garivier , Jean-Michel Loubes

Algorithmic bias has been the subject of much recent controversy. To clarify what is at stake and to make progress resolving the controversy, a better understanding of the concepts involved would be helpful. The discussion here focuses on…

Computers and Society · Computer Science 2025-05-21 Catherine Stinson

Background. As digital technologies increasingly shape social domains such as healthcare, public safety, entertainment, and education, software engineering has engaged with ethical and political concerns primarily through the notion of…

Software Engineering · Computer Science 2026-03-31 Lucas Valenca , Ronnie de Souza Santos
‹ Prev 1 2 3 10 Next ›