Skip to Main content Skip to Navigation
Journal articles

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

Abderrahmane Feliachi 1 Marie-Claude Gaudel 1 Burkhart Wolff 1
1 LRI - Laboratoire de Recherche en Informatique
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/hal-01765531
Contributor : Burkhart Wolff <>
Submitted on : Thursday, April 12, 2018 - 9:42:22 PM
Last modification on : Wednesday, September 16, 2020 - 5:01:32 PM

Identifiers

  • HAL Id : hal-01765531, version 1

Collections

CNRS | CENTRALESUPELEC | UMR8623 | LRI-VALS | UNIV-PARIS-SACLAY

Citation

Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study. International Journal of Software and Informatics (IJSI), ISCAS, 2015. ⟨hal-01765531⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

122

 

Contact                    Legal Notice                    Personal Data