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