Journal Articles
International Journal of Software and Informatics (IJSI)
Year : 2015
Burkhart Wolff : Connect in order to contact the contributor
https://hal.inria.fr/hal-01765531
Submitted on : Thursday, April 12, 2018-9:42:22 PM
Last modification on : Saturday, June 25, 2022-10:30:53 PM
Dates and versions
Identifiers
- HAL Id : hal-01765531 , version 1
Cite
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⟩
78
View
0
Download