18 citations
4 papers
Impact of Legal Requirements on Explainability in Machine Learning
Adrien Bibal, Michael Lognoul, Alexandre de Streel +1
The requirements on explainability imposed by European laws and their implications for machine learning (ML) models are not always clear. In that perspective, our research analyzes…
Generating Class-Level Integration Tests Using Call Site Information
Pouria Derakhshanfar, Xavier Devroey, Annibale Panichella +2
Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated unit-tests with high co…
Search-based Crash Reproduction using Behavioral Model Seeding
Pouria Derakhshanfar, Xavier Devroey, Gilles Perrouin +2
Search-based crash reproduction approaches assist developers during debugging by generating a test case which reproduces a crash given its stack trace. One of the fundamental steps…
Anti-unification in Constraint Logic Programming
Gonzague Yernaux, Wim Vanhoof
Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals…