Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

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

Browse the full TASE paper archive.