Fairness Testing: Testing Software for Discrimination
Not on the map. Why?
Abstract (arXiv)
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 found in modern software systems that recommend criminal sentences, grant access to financial products, and determine who is allowed to participate in promotions. Our approach, Themis, generates efficient test suites to measure discrimination. Given a schema describing valid system inputs, Themis generates discrimination tests automatically and does not require an oracle. We evaluate Themis on 20 software systems, 12 of which come from prior work with explicit focus on avoiding discrimination. We find that (1) Themis is effective at discovering software discrimination, (2) state-of-the-art techniques for removing discrimination from algorithms fail in many situations, at times discriminating against as much as 98% of an input subdomain, (3) Themis optimizations are effective at producing efficient test suites for measuring discrimination, and (4) Themis is more efficient on systems that exhibit more discrimination. We thus demonstrate that fairness testing is a critical aspect of the software development cycle in domains with possible discrimination and provide initial tools for measuring software discrimination.
Key facts. Cited by 123 papers in the map (data through 7 Oct 2026). First posted on arXiv 11 Sep 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 27; 2022: 25; 2023: 18; 2024: 25; 2025: 19; 2026: 9.
123 papers.
Sort:
By area:
- 2021Trustworthy AI: From Principles to Practicescited by 206
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Modelscited by 118
- 2021Bias in Machine Learning Software: Why? How? What to do?cited by 92
- 2021Socially Responsible AI Algorithms: Issues, Purposes, and Challengescited by 56
- 2021Explaining Black-Box Algorithms Using Probabilistic Contrastive Counterfactualscited by 55
- 2021Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipelinecited by 49
- 2021NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identificationcited by 42
- 2022Representation Bias in Data: A Survey on Identification and Resolution Techniquescited by 37
- 2021A Review of Formal Methods applied to Machine Learningcited by 33
- 2024GenderBias-VL: Benchmarking Gender Bias in Vision Language Models via Counterfactual Probingcited by 31
- 2022A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifierscited by 30
- 2022Fairness-aware Configuration of Machine Learning Librariescited by 28
38 more
- 2022Fairness in Recommendation: Foundations, Methods and Applicationscited by 27
- 2024Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verificationcited by 25
- 2023Latent Imitator: Generating Natural Individual Discriminatory Instances for Black-Box Fairness Testingcited by 23
- 2022Fairify: Fairness Verification of Neural Networkscited by 22
- 2021Technical Challenges for Training Fair Neural Networkscited by 20
- 2023Bias and Fairness in Chatbots: An Overviewcited by 20
- 2021FairMask: Better Fairness via Model-based Rebalancing of Protected Attributescited by 19
- 2024Few-Shot Fairness: Unveiling LLM's Potential for Fairness-Aware Classificationcited by 18
- 2021Removing biased data to improve fairness and accuracycited by 17
- 2021Probabilistic Verification of Neural Networks Against Group Fairnesscited by 17
- 2022Adaptive Fairness Improvement Based on Causality Analysiscited by 17
- 2022Towards Understanding Fairness and its Composition in Ensemble Machine Learningcited by 17
- 2022Accurate Fairness: Improving Individual Fairness without Trading Accuracycited by 16
- 2021Automatic Fairness Testing of Neural Classifiers through Adversarial Samplingcited by 14
- 2021Fair Enough: Searching for Sufficient Measures of Fairnesscited by 14
- 2021Through the Data Management Lens: Experimental Analysis and Evaluation of Fair Classificationcited by 13
- 2024The Pursuit of Fairness in Artificial Intelligence Models: A Surveycited by 13
- 2022Towards Involving End-users in Interactive Human-in-the-loop AI Fairnesscited by 12
- 2021MDPFuzz: Testing Models Solving Markov Decision Processescited by 11
- 2023Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networkscited by 10
- 2024Fairness Definitions in Language Models Explainedcited by 10
- 2021AequeVox: Automated Fairness Testing of Speech Recognition Systemscited by 9
- 2023Fix Fairness, Don't Ruin Accuracy: Performance Aware Fairness Repair using AutoMLcited by 9
- 2024NeuFair: Neural Network Fairness Repair with Dropoutcited by 9
- 2023Counterfactual Situation Testing: Uncovering Discrimination under Fairness given the Differencecited by 8
- 2024Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verificationcited by 8
- 2022TESTSGD: Interpretable Testing of Neural Networks Against Subtle Group Discriminationcited by 7
- 2021Fairness Testing of Deep Image Classification with Adequacy Metricscited by 6
- 2022Provable Fairness for Neural Network Models using Formal Verificationcited by 6
- 2024A Large-Scale Empirical Study on Improving the Fairness of Image Classification Modelscited by 6
- 2022Specifying and Testing k-Safety Properties for Machine-Learning Modelscited by 5
- 2022Explainable Global Fairness Verification of Tree-Based Classifierscited by 5
- 2023Adversarial Sampling for Fairness Testing in Deep Neural Networkcited by 5
- 2024What is Fair? Defining Fairness in Machine Learning for Healthcited by 5
- 2021Learning to Generate Fair Clusters from Demonstrationscited by 4
- 2021Quality Assurance Challenges for Machine Learning Software Applications During Software Development Life Cycle Phasescited by 4
- 2021Fair-SSL: Building fair ML Software with less datacited by 4
- 2022PrivFair: a Library for Privacy-Preserving Fairness Auditingcited by 4
50 most cited of 123 All 123 (JSON)
- 2026Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs26 Aug 2026
- 2026Toward Localizing and Repairing Bias in Transformer Attention Heads14 Jul 2026
- 2026Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach13 May 2026
- 2026Fairness of Classifiers in the Presence of Constraints between Features1 May 2026
- 2026Social Bias in LLM-Generated Code: Benchmark and Mitigation1 May 2026
- 2026Ethics Testing: Proactive Identification of Generative AI System Harms23 Apr 2026
- 2026Fair Feature Importance Scores via Feature Occlusion and Permutation9 Feb 2026
- 2026Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles7 Feb 2026
- 2026Unravelling the (In)compatibility of Statistical-Parity and Equalized-Odds26 Jan 2026
- 2025Quantitative Verification of Fairness in Tree Ensembles18 Dec 2025
- 2025Causally Perturbed Fairness Testing21 Oct 2025
- 2025Machine Learning and Public Health: Identifying and Mitigating Algorithmic Bias through a Systematic Review16 Oct 2025
38 more
- 2025CAF'E: Causal Black-Box Testing of Machine Unlearning20 Sep 2025
- 2025Concolic Testing on Individual Fairness of Neural Network Models8 Sep 2025
- 2025Applications and Challenges of Fairness APIs in Machine Learning Software22 Aug 2025
- 2025Correct-By-Construction: Certified Individual Fairness through Neural Network Training21 Aug 2025
- 2025The Fair Game: Auditing & Debiasing AI Algorithms Over Time8 Aug 2025
- 2025Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models31 Jul 2025
- 2025Testing Individual Fairness in Graph Neural Networks25 Apr 2025
- 2025Whence Is A Model Fair? Fixing Fairness Bugs via Propensity Score Matching23 Apr 2025
- 2025Software Engineering Principles for Fairer Systems: Experiments with GroupCART17 Apr 2025
- 2025Attention Pruning: Automated Fairness Repair of Language Models via Surrogate Simulated Annealing20 Mar 2025
- 2025HInter: Exposing Hidden Intersectional Bias in Large Language Models15 Mar 2025
- 2025Unmasking Gender Bias in Recommendation Systems and Enhancing Category-Aware Fairness25 Feb 2025
- 2025Testing software for non-discrimination: an updated and extended audit in the Italian car insurance domain10 Feb 2025
- 2025Counterfactual Situation Testing: From Single to Multidimensional Discrimination3 Feb 2025
- 2025Fairness Testing through Extreme Value Theory20 Jan 2025
- 2025FairSense: Long-Term Fairness Analysis of ML-Enabled Systems3 Jan 2025
- 2024MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search28 Dec 2024
- 2024Data Preparation for Fairness-Performance Trade-Offs: A Practitioner-Friendly Alternative?20 Dec 2024
- 2024Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification18 Dec 2024
- 2024From Expectation to Habit: Why Do Software Practitioners Adopt Fairness Toolkits?18 Dec 2024
- 2024Diversity Drives Fairness: Ensemble of Higher Order Mutants for Intersectional Fairness of Machine Learning Software11 Dec 2024
- 2024Cobblestone: A Divide-and-Conquer Approach for Automating Formal Verification25 Oct 2024
- 2024FairQuant: Certifying and Quantifying Fairness of Deep Neural Networks5 Sep 2024
- 2024A Catalog of Fairness-Aware Practices in Machine Learning Engineering29 Aug 2024
- 2024QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning17 Aug 2024
- 2024Contexts Matter: An Empirical Study on Contextual Influence in Fairness Testing for Deep Learning Systems12 Aug 2024
- 2024Fairness Definitions in Language Models Explained26 Jul 2024
- 2024NeuFair: Neural Network Fairness Repair with Dropout5 Jul 2024
- 2024Efficient DNN-Powered Software with Fair Sparse Models3 Jul 2024
- 2024FairLay-ML: Intuitive Debugging of Fairness in Data-Driven Social-Critical Software1 Jul 2024
- 2024GenderBias-VL: Benchmarking Gender Bias in Vision Language Models via Counterfactual Probing30 Jun 2024
- 2024Fairpriori: Improving Biased Subgroup Discovery for Deep Neural Network Fairness25 Jun 2024
- 2024Unbiasing on the Fly: Explanation-Guided Human Oversight of Machine Learning System Decisions25 Jun 2024
- 2024What is Fair? Defining Fairness in Machine Learning for Health13 Jun 2024
- 2024Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound27 May 2024
- 2024Predicting Fairness of ML Software Configurations29 Apr 2024
- 2024The Pursuit of Fairness in Artificial Intelligence Models: A Survey26 Mar 2024
- 2024Few-Shot Fairness: Unveiling LLM's Potential for Fairness-Aware Classification28 Feb 2024
50 newest of 123 All 123 (JSON)
- 2025CAF'E: Causal Black-Box Testing of Machine Unlearningcited by 0
- 2025CAF'E: Causal Black-Box Testing of Machine Unlearning20 Sep 2025
- 2021Trustworthy AI: From Principles to Practicescited by 206
- 2023Baldur: Whole-Proof Generation and Repair with Large Language Modelscited by 118
- 2021Bias in Machine Learning Software: Why? How? What to do?cited by 92
- 2021Socially Responsible AI Algorithms: Issues, Purposes, and Challengescited by 56
- 2021Explaining Black-Box Algorithms Using Probabilistic Contrastive Counterfactualscited by 55
- 2021Fair Preprocessing: Towards Understanding Compositional Fairness of Data Transformers in Machine Learning Pipelinecited by 49
- 2021NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identificationcited by 42
- 2022Representation Bias in Data: A Survey on Identification and Resolution Techniquescited by 37
- 2021A Review of Formal Methods applied to Machine Learningcited by 33
- 2022A Comprehensive Empirical Study of Bias Mitigation Methods for Machine Learning Classifierscited by 30
- 2022Fairness-aware Configuration of Machine Learning Librariescited by 28
- 2022Fairness in Recommendation: Foundations, Methods and Applicationscited by 27
12 most cited of 119 All 119 (JSON)
- 2026Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs26 Aug 2026
- 2026Toward Localizing and Repairing Bias in Transformer Attention Heads14 Jul 2026
- 2026Quantifying Sensitivity for Tree Ensembles: A symbolic and compositional approach13 May 2026
- 2026Fairness of Classifiers in the Presence of Constraints between Features1 May 2026
- 2026Social Bias in LLM-Generated Code: Benchmark and Mitigation1 May 2026
- 2026Ethics Testing: Proactive Identification of Generative AI System Harms23 Apr 2026
- 2026Fair Feature Importance Scores via Feature Occlusion and Permutation9 Feb 2026
- 2026Data-Aware and Scalable Sensitivity Analysis for Decision Tree Ensembles7 Feb 2026
- 2026Unravelling the (In)compatibility of Statistical-Parity and Equalized-Odds26 Jan 2026
- 2025Quantitative Verification of Fairness in Tree Ensembles18 Dec 2025
- 2025Causally Perturbed Fairness Testing21 Oct 2025
- 2025Machine Learning and Public Health: Identifying and Mitigating Algorithmic Bias through a Systematic Review16 Oct 2025
12 newest of 119 All 119 (JSON)