Catégorie Communication dans un congrès Auteurs Christophe Gaston Pascale Le Gall Nicolas Rapin Assia Touil https://hal.science/hal-00342082v1 doc ID 342082 Nom Symbolic execution techniques for test purpose definition Date de publication jeu 17/04/2025 - 12:00