Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study.
Saved in:
| Title: | Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. |
|---|---|
| Authors: | Feliachi, Abderrahmane1, feliachi@lri.fr, Gaudel, Marie-Claude1, gaudel@lri.fr, Wolff, Burkhart1, wolff@lri.fr |
| Source: | International Journal of Software & Informatics; 2015, Vol. 9 Issue 2, p177-203, 27p |
| Database: | Applied Science & Technology Source |
| ISSN: | 16737288 |
|---|
