Harnessing the Strength of Statistics and Visualization in Verification Author(s): Olivera Stojanovic, Uri Feigin Download