Repairing Decision-Making Programs Under Uncertainty-Reference-Cited by-同舟云学术

Repairing Decision-Making Programs Under Uncertainty

Published:2017 Issue: Volume: Page:181-200
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Albarghouthi Aws,D’Antoni Loris,Drews Samuel

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-319-63387-9_9

Reference27 articles.

1. UCI machine learning repository: Census income. https://archive.ics.uci.edu/ml/datasets/Adult/

2. Weka. http://www.cs.waikato.ac.nz/ml/weka/

3. Code of federal regulations, July 2014. https://www.gpo.gov/fdsys/pkg/CFR-2014-title29-vol4/xml/CFR-2014-title29-vol4-part1607.xml. Accessed 18 June 2016

4. Albarghouthi, A., D’Antoni, L., Drews, S., Nori, A.: Fairness as a program property. In: FATML, November 2016. http://pages.cs.wisc.edu/sdrews/papers/fatml16.pdf

5. Angwin, J., Larson, J., Mattu, S., Kirchner, L.: Machine bias: there’s software used across the country to predict future criminals. And it’s biased against blacks, May 2016. https://www.propublica.org/article/machine-bias-risk-assessments-in-criminal-sentencing. Accessed 18 June 2016

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generative Model-Based Testing on Decision-Making Policies;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. Certifying the Fairness of KNN in the Presence of Dataset Bias;Computer Aided Verification;2023

3. Modelling program verification tools for software engineers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

4. Causality-based neural network repair;Proceedings of the 44th International Conference on Software Engineering;2022-05-21

5. Fair decision making via automated repair of decision trees;Proceedings of the 2nd International Workshop on Equitable Data and Technology;2022-05-19