D. Alrajeh, J. Kramer, A. Russo, and S. Uchitel, Automated support for diagnosis and repair, Communications of the ACM, vol.58, issue.2, pp.65-72, 2015.
DOI : 10.1109/32.879820

A. Aviienis, J. C. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004.

C. Baier and J. P. Katoen, Principles of model checking, 2008.

T. Ball, M. Naik, and S. K. Rajamani, From symptom to cause: localizing errors in counterexample traces, In: ACM SIGPLAN. vol, vol.38, 2003.

P. Bertoli, M. Bozzano, and A. Cimatti, A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis, MoChArt'16, pp.1-18, 2006.
DOI : 10.1007/978-3-540-74128-2_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.6512

M. Bourahla, Model-Based Diagnostic Using Model Checking, 2009 Fourth International Conference on Dependability of Computer Systems, 2009.
DOI : 10.1109/DepCoS-RELCOMEX.2009.33

F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone, Enhancing model checking in verification by AI techniques, Artificial Intelligence, vol.112, issue.1-2, pp.57-104, 1999.
DOI : 10.1016/S0004-3702(99)00039-9

URL : http://doi.org/10.1016/s0004-3702(99)00039-9

H. Cleve and A. Zeller, Locating causes of program failures, p.342, 2005.

A. Groce and W. Visser, What Went Wrong: Explaining Counterexamples, Model Checking Software, pp.121-136, 2003.
DOI : 10.1007/3-540-44829-2_8

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.547

M. Gromov and T. A. Willemse, Testing and Model-Checking Techniques for Diagnosis, Testing of Software and Communicating Systems, pp.138-154, 2007.
DOI : 10.1007/978-3-540-73066-8_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.7366

A. Hamou-lhadj and T. C. Lethbridge, A survey of trace exploration tools and techniques, pp.42-55, 2004.

G. J. Holzmann, The Theory and Practice of A Formal Method: NewCoRe, In: IFIP Congress, issue.1, pp.35-44, 1994.

V. Leilde, V. Ribaud, and P. Dhaussy, An Organizing System to Perform and Enable Verification and Diagnosis Activities, pp.576-587, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01472718

Y. Liu, C. Xu, and S. Cheung, AFChecker: Effective model checking for context-aware adaptive applications, Journal of Systems and Software, vol.86, issue.3, pp.854-867, 2013.
DOI : 10.1016/j.jss.2012.11.055

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.4494

J. L. Mackie, The cement of the universe: a study of causation. Clarendon library of logic and philosophy, dr. edn, vol.oCLC, p.258760915, 1990.
DOI : 10.1093/0198246420.001.0001

G. Pothier, . Tanter, and J. Piquer, Scalable omniscient debugging, ACM SIGPLAN Notices, vol.42, issue.10, pp.535-552, 2007.
DOI : 10.1145/1297105.1297067

R. Reiter, A theory of diagnosis from first principles, Artificial intelligence, 1987.

T. C. Ruys and E. Brinksma, Managing the verification trajectory, International Journal on Software Tools for Technology Transfer (STTT), vol.4, issue.2, pp.246-259, 2003.
DOI : 10.1007/s10009-002-0078-1

V. Venkatasubramanian, R. Rengaswamy, and S. N. Kavuri, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, 2003.

W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda, Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003.
DOI : 10.1109/ASE.2000.873645

F. Wotawa, I. Rodriguez-roda, and J. Comas, Abductive Reasoning in Environmental Decision Support Systems. In: AIAI workshops, Citeseer, pp.270-279, 2009.