stream line tracing and probabilistic testing done