Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study - Archive ouverte HAL Access content directly
Journal Articles International Journal of Software and Informatics (IJSI) Year : 2015

Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study

(1) , (1) , (1)
1
Not file

Dates and versions

hal-01765531 , version 1 (12-04-2018)

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

Share

Gmail Facebook Twitter LinkedIn More