Can Intuition Become Rigorous? Foundations for UML Model Verification Tools; J. Alemán, A. Álvarez

Formal Limits on Determining Reliabilities of Component-Based Software; M. Kappes, R. Klemm, C. Kintala

Software Black Box: An Alternative Mechanism for Failure Analysis; S. Elbaum, J. Munson