CUTE a concolic unit testing engine for C.
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry function may contain pointer arguments, in which case the inputs to the unit are memory graphs. The paper addresses the pro...
| Опубликовано в:: | Software engineering notes. 30, 5 (2005). |
|---|---|
| Главный автор: | |
| Формат: | Статья |
| Язык: | английский |
| Предметы: |