CUTE: A concolic unit testing engine for C

K Sen, D Marinov, G Agha - ACM SIGSOFT Software Engineering Notes, 2005 - dl.acm.org
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - 2005 - cs.columbia.edu
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - 2005 - faculty.sist.shanghaitech.edu.cn
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - 2005 - eecs.umich.edu
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - 2005 - mir.cs.uiuc.edu
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - fa11.pbworks.com
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 …

[引用][C] CUTE: A concolic unit testing engine for C

K SEN, D MARINOV, G AGHA - ESEC/FSE'05 (proceedings of …, 2005 - pascal-francis.inist.fr
CUTE : A concolic unit testing engine for C CNRS Inist Pascal-Francis CNRS Pascal and
Francis Bibliographic Databases Simple search Advanced search Search by classification …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - fa09.pbworks.com
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 …

CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, GA Agha - 2005 - ideals.illinois.edu
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 …

[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C

K Sen, D Marinov, G Agha - 2005 - web2.cs.columbia.edu
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 …