1. Agnar, A., Enric, P.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 1, 39–59 (1994)
2. Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Automated support for diagnosis and repair. Commun. ACM 58(2), 65–72 (2015)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
4. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. ACM SIGPLAN Not. 38, 97–105 (2003)
5. Basili, V.R., Caldiera, G.: Improve software quality by reusing knowledge and experience. MIT Sloan Manage. Rev. 37(1), 55 (1995)