Under-Approximation Generation Driven by Relevance Predicates and Variants.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Browse the full TAP paper archive.