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...
| Publicado en: | Software engineering notes. 30, 5 (2005). |
|---|---|
| Autor Principal: | |
| Formato: | Artigo |
| Idioma: | English |
| Subjects: |