Automatic software fault localization using generic program invariants | Publicación