Concolic Testing in Logic Programming
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic programming. In this paper, we introduce a systematic approach for dynamic testing that combines both concrete and symbolic e...
Zapisane w:
| Główni autorzy: | , , |
|---|---|
| Format: | Artykuł |
| Wydane: |
2015
|
| Hasła przedmiotowe: | |
| Dostęp online: | https://arxiv.org/abs/1507.05454 http://arxiv.org/abs/1507.05454 |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|