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). |
|---|---|
| 主要作者: | |
| 格式: | Article |
| 語言: | English |
| 主題: |