Symbolic Test-generation in HOL-TestGen/CirTA: A Case Study
| Autor: | Feliachi, Abderrahmane, Gaudel, Marie-Claude, Wolff, Burkhart |
|---|---|
| Přispěvatelé: | Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Wolff, Burkhart |
| Jazyk: | angličtina |
| Rok vydání: | 2015 |
| Předmět: | |
| Zdroj: | International Journal of Software and Informatics (IJSI) International Journal of Software and Informatics (IJSI), ISCAS, 2015 |
| ISSN: | 1673-7288 |
| Popis: | International audience |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|