Author:
Leildé Vincent,Ribaud Vincent,Teodorov Ciprian,Dhaussy Philippe
Publisher
Springer International Publishing
Reference15 articles.
1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: ACM SIGPLAN Notices, vol. 38. ACM (2003)
2. Basili, V.R., Caldiera, G.: Improve software quality by reusing knowledge and experience. MIT Sloan Manage. Rev. 37(1), 55 (1995)
3. Lecture Notes in Computer Science;EM Clarke,2010
4. Cleve, H., Zeller, A.: Locating causes of program failures, p. 342. ACM Press (2005)
5. Fernandez, E.B., Larrondo-Petrie, M.M.: Designing secure SCADA systems using security patterns, pp. 1–8. IEEE (2010)