Boolean and Pseudo-Boolean Test Generation for Feedback Bridging Faults | Publicación