Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T)
Symbolic PathFinder: symbolic execution of Java bytecode