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

Ful tanımlama

Detaylı Bibliyografya

Yayımlandı:	Software engineering notes. 30, 5 (2005).
Yazar:	Sen, Koushik
Materyal Türü:	Makale
Dil:	English
Konular:	Software. Software engineering. Testing and debugging. Reliability. Verification. Concolic testing. Data structure testing. Explicit path model-checking. Random testing. Testing C programs. Unit testing.