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
Abderrahmane Feliachi
  • Function : Author
  • PersonId : 952484
Laboratoire de Recherche en Informatique
Marie-Claude Gaudel
Laboratoire de Recherche en Informatique
CV
Burkhart Wolff
Laboratoire de Recherche en Informatique
CV

Domains

Cognitive science Computer science

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

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS UMR8623 CENTRALESUPELEC LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE
78 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More