Catégorie Autre publication scientifique Auteurs Christophe Gaston Pascale Le Gall Nicolas Rapin Assia Touil https://hal.science/hal-00342083v1 doc ID 342083 Nom Generating test case from symbolic transition systems based on constrained unfolding Date de publication jeu 17/04/2025 - 12:00