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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 30, 5 (2005).
Tác giả chính: Sen, Koushik
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Software.
Software engineering.
Testing and debugging.
Reliability.
Verification.
Concolic testing.
Data structure testing.
Explicit path model-checking.
Random testing.
Testing C programs.
Unit testing.