CAV 2006 - PDF Preprint Papers

CAV 2006 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2006 Paper

click to vote

CAV
2006
Springer

209views Hardware» more CAV 2006»

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

13 years 8 months ago

Download osl.cs.uiuc.edu

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

claim paper

Read More »

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.

Id	Views	Title	Status

1	209	CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools	claim
2	165	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study	claim
3	164	Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis	claim
4	157	Lazy Abstraction with Interpolants	claim
5	146	Termination Analysis with Calling Context Graphs	claim
6	143	Automatic Termination Proofs for Programs with Shape-Shifting Heaps	claim
7	141	Formal Verification of a Lazy Concurrent List-Based Set Algorithm	claim
8	141	SMT Techniques for Fast Predicate Abstraction	claim
9	133	Programs with Lists Are Counter Automata	claim
10	133	Antichains: A New Algorithm for Checking Universality of Finite Automata	claim
11	132	Symmetry Reduction for Probabilistic Model Checking	claim
12	129	Languages of Nested Trees	claim
13	128	Safraless Compositional Synthesis	claim
14	125	cascade: C Assertion Checker and Deductive Engine	claim
15	122	Repair of Boolean Programs with an Application to C	claim
16	121	Deriving Small Unsatisfiable Cores with Dominators	claim
17	120	Model Checking Multithreaded Programs with Asynchronous Atomic Methods	claim
18	117	Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop	claim
19	116	Lazy Shape Analysis	claim
20	113	Causal Atomicity	claim
21	110	Improving Pushdown System Model Checking	claim
22	108	Counterexamples with Loops for Predicate Abstraction	claim
23	105	FAST Extended Release	claim
24	101	Ticc: A Tool for Interface Compatibility and Composition	claim
25	101	Terminator: Beyond Safety	claim
26	101	A Fast Linear-Arithmetic Solver for DPLL(T)	claim
27	101	Abstraction for Shape Analysis with Fast and Precise Transformers	claim
28	95	Yasm: A Software Model-Checker for Verification and Refutation	claim
29	91	Lookahead Widening	claim
30	90	Termination of Integer Linear Programs	claim
31	86	The Power of Hybrid Acceleration	claim
32	86	EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation	claim
33	80	Don't Care Words with an Application to the Automata-Based Approach for Real Addition	claim
34	72	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers