MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model checking Java programs using structural heuristics." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Model Checking Java Programs using Structural Heuristics
by Alex Groce, Willem Visser — 2002 — in International Symposium on Software Testing and Analysis
…Model Checking Java Programs using Structural Heuristics Alex Groce School of Computer Science…
Cited by 40 (11 self) – Add To MetaCart

Model Checking Java Programs using Structural Heuristics Alex Groce
by School Of Computer, Alex Groce, Willem Visser — 2002 — in International Symposium on Software Testing and Analysis
…Model Checking Java Programs using Structural Heuristics Alex Groce School of Computer Science…
Add To MetaCart

Education
by Alex David Groce, Advisor Edmund Clarke
… Alex Groce and Willem Visser. Model Checking Java Programs using Structural Heuristics…
Add To MetaCart

Experience
by Alex David Groce
… Groce and Willem Visser. Model Checking Java Programs using Structural Heuristics. ACM International…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB