Sciweavers

Share
CAV   2006 International Workshop on Computer Aided Verification
Wall of Fame | Most Viewed CAV-2006 Paper
CAV
2006
Springer
209views Hardware» more  CAV 2006»
8 years 11 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source209
2Download preprint from source165
3Download preprint from source164
4Download preprint from source157
5Download preprint from source146
6Download preprint from source143
7Download preprint from source141
8Download preprint from source141
9Download preprint from source133
10Download preprint from source133
11Download preprint from source132
12Download preprint from source129
13Download preprint from source128
14Download preprint from source125
15Download preprint from source122
16Download preprint from source121
17Download preprint from source120
18Download preprint from source117
19Download preprint from source116
20Download preprint from source113
21Download preprint from source110
22Download preprint from source108
23Download preprint from source105
24Download preprint from source101
25Download preprint from source101
26Download preprint from source101
27Download preprint from source101
28Download preprint from source95
29Download preprint from source91
30Download preprint from source90
31Download preprint from source86
32Download preprint from source86
33Download preprint from source80
34Download preprint from source72
books