Sen K, Marinov D, Agha G. CUTE: a concolic unit testing engine for C[J]. ACM SIGSOFT Software Engineering Notes, 2005, 30(5): 263-272.
http://mir.cs.illinois.edu/marinov/publications/SenETAL05CUTE.pdf
CUTE_A_Concolic_Unit_Testing_Engine_for_C
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||