Harnessing the Strength of Statistics and Visualization in Verification

Author(s):
Olivera Stojanovic, Uri Feigin