Evaluating Machine-Independent Metrics for State-Space Exploration.

Vilas Jagannath, Matt Kirn, Yu Lin, Darko Marinov

Browse the full ICST paper archive.