Stefan Wagner, Jan Jürjens. Model-Based Identification of Fault-Prone Components. In Mario Dal Cin, Mohamed Kaâniche, András Pataricza, editors, Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings. Volume 3463 of Lecture Notes in Computer Science, pages 435-452, Springer, 2005. [doi]
Abstract is missing.