Applying Combinatorial Testing to Verification-Based Fairness Testing.

Takashi Kitamura Zhenjiang Zhao Takahisa Toda

Published in: SSBSE (2022)

Keyphrases

test cases
cooperative

data sets
lower bound

test set

formal verification