[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C
K Sen, D Marinov, G Agha - 2005 - academia.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 …
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, G Agha… - 2005 - apps.dtic.mil
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 …
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 - web3.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 …
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, G Agha - Proceedings of the 10th European software …, 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 …
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 …
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, YJ Lim - 2013 - pdfs.semanticscholar.org
CUTE: A Concolic Unit Testing Engine for C Page 1 CUTE: A Concolic Unit Testing Engine for
C ⓒ KAIST SE LAB 2013 European Software Engineering ConferenceFoundations of Software …
C ⓒ KAIST SE LAB 2013 European Software Engineering ConferenceFoundations of Software …
[PDF][PDF] CUTE: A Concolic Unit Testing Engine for C
K Sen, D Marinov, G Agha - 2005 - web1.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 …
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 - Citeseer
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 …
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 - algos.inesc-id.pt
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 …
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 - cs.toronto.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 …
of unit can be tested by generating inputs for a single entry function. The entry function may …