CUTE a concolic unit testing engine for C.

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

Szczegółowa specyfikacja

Opis bibliograficzny
Wydane w:Software engineering notes. 30, 5 (2005).
1. autor: Sen, Koushik
Format: Artykuł
Język:English
Hasła przedmiotowe:
Software.
Software engineering.
Testing and debugging.
Reliability.
Verification.
Concolic testing.
Data structure testing.
Explicit path model-checking.
Random testing.
Testing C programs.
Unit testing.