117 citations · 222 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LG2020★ 10 cited
Ethical Adversaries: Towards Mitigating Unfairness with Adversarial Machine Learning
Pieter Delobelle, Paul Temple, Gilles Perrouin +3
Machine learning is being integrated into a growing number of critical systems with far-reaching impacts on society. Unexpected behaviour and unfair decision processes are coming u…
cs.LO2020
An SMT-Based Concolic Testing Tool for Logic Programs
Sophie Fortz, Fred Mesnard, Etienne Payet +3
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperat…