79 citations · 122 across the 9 of their papers we have counts for
1 paper · 1 filter
Wei Jin, Alessandro Orso
Formula-based debugging techniques are becoming increasingly popular, as they provide a principled way to identify potentially faulty statements together with information that can…