Requirements-Driven Root Cause Analysis Using Markov Logic Networks Hamzeh Zawawy1, Kostas Kontogiannis2, John Mylopoulos3, and Serge Mankovskii4 1 University of Waterloo,…
