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...
| Udgivet i: | Software engineering notes. 30, 5 (2005). |
|---|---|
| Hovedforfatter: | |
| Format: | Article |
| Sprog: | English |
| Fag: |