Tue 6 Nov 2018 11:15 - 11:37 at Solar - Testing Chair(s): Lingming Zhang

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

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
TestingDemonstrations at Solar
Chair(s): Lingming Zhang
10:30
22m
Talk
BigSift: Automated Debugging of Big Data Analytics in Data-Intensive Scalable Computing
Demonstrations
Muhammad Ali GulzarUniversity of California, Los Angeles, Siman WangHunan University, Miryung KimUniversity of California, Los Angeles
10:52
22m
Talk
FOT: A Versatile, Configurable, Extensible Fuzzing Framework
Demonstrations
Hongxu ChenNanyang Technological University, Yuekang LiNanyang Technological University, Bihuan ChenFudan University, Yinxing Xue, Yang LiuNanyang Technological University, Singapore
11:15
22m
Talk
Themis: Automatically Testing Software for Discrimination
Demonstrations
Rico AngellUniversity of Massachusetts, Amherst, Brittany JohnsonUniversity of Massachusetts Amherst, Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
11:37
22m
Demonstration
Vista: Web Test Repair Using Computer Vision
Demonstrations
Andrea StoccoUniversity of British Columbia, Rahulkrishna YandrapallyUniversity of British Columbia, Canada, Ali MesbahUniversity of British Columbia
Pre-print