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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Software engineering notes. 30, 5 (2005).
Autor principal:	Sen, Koushik
Formato:	Artículo
Lenguaje:	inglés
Materias:	Software. Software engineering. Testing and debugging. Reliability. Verification. Concolic testing. Data structure testing. Explicit path model-checking. Random testing. Testing C programs. Unit testing.