-
Chapter and Conference Paper
Applying Combinatorial Testing to Verification-Based Fairness Testing
Fairness testing, given a machine learning classifier, detects discriminatory data contained in it via executing test cases. In this paper, we propose a new approach to fairness testing named Vbt-Ct, which applie...
-
Chapter and Conference Paper
Efficient Fairness Testing Through Hash-Based Sampling
There is a growing concern on algorithm fairness, according to wider adoption of machine learning techniques in our daily life. Testing of individual fairness is an approach to algorithm fairness concern. Veri...
-
Chapter and Conference Paper
ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems
This paper proposes an algorithmic framework for solving various combinatorial reconfiguration problems by using zero-suppressed binary decision diagrams (ZDDs), a data structure for representing families of s...