Article Dans Une Revue
International Journal of Software and Informatics (IJSI)
Année : 2015
Burkhart Wolff : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01765531
Soumis le : jeudi 12 avril 2018-21:42:22
Dernière modification le : vendredi 9 février 2024-03:25:30
Dates et versions
Identifiants
- HAL Id : hal-01765531 , version 1
Citer
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study. International Journal of Software and Informatics (IJSI), 2015. ⟨hal-01765531⟩
Collections
82
Consultations
0
Téléchargements