Model Checking Java Programs using Structural Heuristics (2002)

Cached

Download Links

by Alex Groce , Willem Visser
Venue:IN INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS
Citations:46 - 12 self