Association of Under-Approximation Techniques for Generating Tests from Models.

Pierre-Christophe Bu, Jacques Julliand, Pierre-Alain Masson

Browse the full TAP paper archive.