Tool Support for Fault Localization Using Architectural Models | IEEE Conference Publication | IEEE Xplore