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

Volledige beschrijving

Bibliografische gegevens

Gepubliceerd in:	Software engineering notes. 30, 5 (2005).
Hoofdauteur:	Sen, Koushik
Formaat:	Artikel
Taal:	English
Onderwerpen:	Software. Software engineering. Testing and debugging. Reliability. Verification. Concolic testing. Data structure testing. Explicit path model-checking. Random testing. Testing C programs. Unit testing.