Publication | Open Access
Themis: automatically testing software for discrimination
93
Citations
49
References
2018
Year
Unknown Venue
Software MaintenanceEngineeringDiscriminationVerificationSoftware EngineeringModern SoftwareSoftware AnalysisFormal VerificationComputational TestingData ScienceTest AutomationStatisticsAlgorithmic BiasTest Suite SizeTesting TechniqueComputer ScienceStatic Program AnalysisSoftware DesignProgram BehaviorProgram AnalysisSoftware TestingAlgorithmic FairnessTest EvolutionSystem Software
Bias in decisions made by modern software is becoming a common and serious problem. We present Themis, an automated test suite generator to measure two types of discrimination, including causal relationships between sensitive inputs and program behavior. We explain how Themis can measure discrimination and aid its debugging, describe a set of optimizations Themis uses to reduce test suite size, and demonstrate Themis' effectiveness on open-source software. Themis is open-source and all our evaluation data are available at http://fairness.cs.umass.edu/. See a video of Themis in action: https://youtu.be/brB8wkaUesY
| Year | Citations | |
|---|---|---|
Page 1
Page 1