Model Checking Java Programs using Structural Heuristics (2002)

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