H. Agrawal, H. Agrawal, and J. R. Horgan, Dynamic program slicing, ACM SIGPLAN Notices, vol.25, issue.6, pp.246-256, 1990.
DOI : 10.1145/93548.93576

. Agrawal, Fault localization using execution slices and dataflow tests, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95, pp.143-151, 1995.
DOI : 10.1109/ISSRE.1995.497652

URL : http://www.argreenhouse.com/papers/hira/issre95.pdf

A. Alipour, Automated fault localization techniques; a survey, 2012.

A. Nainar, Statistical debugging using compound boolean predicates, Proceedings of the 2007 International Symposium on Software Testing and Analysis, ISSTA '07, pp.5-15, 2007.

. Asarin, Symbolic controller synthesis for discrete and timed systems, pp.1-20, 1995.
DOI : 10.1007/3-540-60472-3_1

. Avizienis, Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2

T. Ball and J. R. Larus, Efficient path profiling, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29, pp.46-57, 1996.
DOI : 10.1109/MICRO.1996.566449

URL : http://www.cs.umn.edu/~zhai/courses/5980/readings/lec4/micro96_pp.pdf

. Ball, From symptom to cause, ACM SIGPLAN Notices, vol.38, issue.1, pp.97-105, 2003.
DOI : 10.1145/640128.604140

. Barrett, The SMT-LIB Standard: Version 2.5, 2015.
DOI : 10.1007/978-3-642-19583-9_2

. Beer, Explaining counterexamples using causality, Formal Methods in System Design, vol.110, issue.111, pp.20-40, 2012.
DOI : 10.1145/333979.333987

. Benveniste, The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

G. Berry, Real time programming : special purpose or general purpose languages, 1989.
URL : https://hal.archives-ouvertes.fr/inria-00075494

. Biere, Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol.185, 2009.

L. Cassandras, C. Cassandras, and S. Lafortune, Introduction to Discrete Event Systems, 1999.

. Chilimbi, HOLMES: Effective statistical debugging via efficient path profiling, 2009 IEEE 31st International Conference on Software Engineering, pp.34-44, 2009.
DOI : 10.1109/ICSE.2009.5070506

URL : http://research.microsoft.com/pubs/73644/Holmes%20-%20Effecitve%20Statistical%20Debugging%20via%20Efficient%20Path%20Profiling.pdf

. Chockler, Causal analysis for attributing responsibility in legal cases, Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL '15, pp.33-42, 2015.
DOI : 10.1145/1276318.1276322

. Chockler, Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software Proceedings, chapter Efficient Automatic STE Refinement Using Responsibility, pp.233-248, 2008.

H. Chockler and J. Y. Halpern, Responsibility and blame: A structural-model approach, J. Artif. Intell. Res. (JAIR), vol.22, pp.93-115, 2004.

. Cleve, H. Zeller-]-cleve, and A. Zeller, Locating causes of program failures, Proceedings of the 27th International Conference on Software Engineering, ICSE '05, pp.342-351, 2005.

. Console, Model-based diagnosis meets error diagnosis in logic programs (extended abstract), Proceedings of the First International Workshop on Automated and Algorithmic Debugging, AADEBUG '93, pp.85-87, 1993.
DOI : 10.1007/bfb0019402

. Csallner, DySy, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.281-290, 2008.
DOI : 10.1145/1368088.1368127

. Datta, Program Actions as Actual Causes: A Building Block for Accountability, 2015 IEEE 28th Computer Security Foundations Symposium, 2015.
DOI : 10.1109/CSF.2015.25

W. De-kleer, J. De-kleer, and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.
DOI : 10.1016/0004-3702(87)90063-4

. De-moura, L. Bjørner-de-moura, and N. Bjørner, Z3: An Efficient SMT Solver, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

. Debbi, . Bourahla, H. Debbi, and M. Bourahla, Generating Diagnoses for Probabilistic Model Checking Using Causality, Journal of Computing and Information Technology, vol.21, issue.1, pp.13-23, 2013.
DOI : 10.2498/cit.1002115

URL : https://doi.org/10.2498/cit.1002115

. Ehlers, Supervisory control and reactive synthesis: a comparative introduction, Discrete Event Dynamic Systems, vol.25, issue.3, pp.1-52, 2016.
DOI : 10.1090/dimacs/003/13

. Ernst, The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.1-335, 2007.
DOI : 10.1016/j.scico.2007.01.015

P. Erwan-jahier and N. H. Raymond, The lustre v6 reference manual, 2016.

. Goessler, . Astefanoaei, G. Goessler, and L. Astefanoaei, Blaming in component-based real-time systems, Proceedings of the 14th International Conference on Embedded Software, EMSOFT '14, pp.1-710, 2014.
DOI : 10.1145/2656045.2656048

L. Gössler, . Métayer, G. Gössler, L. Métayer, and D. , A General Trace-Based Framework of Logical Causality, International Workshop on Formal Aspects of Component Software, pp.157-173, 2013.
DOI : 10.1007/978-3-319-07602-7_11

. Gössler, . Métayer, G. Gössler, and D. L. Métayer, A general framework for blaming in component-based systems, Science of Computer Programming, vol.113, pp.223-235, 2015.
DOI : 10.1016/j.scico.2015.06.010

. Gössler, . Stefani, G. Gössler, and J. Stefani, Fault Ascription in Concurrent Systems, pp.79-94, 2016.
DOI : 10.1007/978-3-319-28766-9_6

. Groce, Error explanation with distance metrics, International Journal on Software Tools for Technology Transfer, vol.28, issue.2, pp.229-247, 2006.
DOI : 10.1007/s10009-005-0202-0

V. Groce, A. Groce, and W. Visser, Model Checking Software: 10th International SPIN Workshop, Proceedings, chapter What Went Wrong: Explaining Counterexamples, pp.121-136, 2003.
DOI : 10.1007/978-3-642-22306-8

G. Hagen, VERIFYING SAFETY PROPERTIES OF LUSTRE PROGRAMS: AN SMT-BASED APPROACH, 2008.

T. Hagen, G. Hagen, and C. Tinelli, Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques, 2008 Formal Methods in Computer-Aided Design, pp.8-9, 2008.
DOI : 10.1109/FMCAD.2008.ECP.19

. Halbwachs, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

URL : http://www-verimag.imag.fr/~raymond/publis/lustre.ieee.ps.gz

. Halbwachs, The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991.

. Halbwachs, Specifying, programming and verifying real-time systems using a synchronous declarative language Automatic Verification Methods for Finite State Systems, International Workshop, Proceedings, volume 407 of Lecture Notes in Computer Science, pp.213-231, 1989.

P. Halpern, J. Y. Halpern, and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part II: Explanations, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, pp.27-34, 2001.
DOI : 10.1093/bjps/axi148

P. Halpern, J. Y. Halpern, and J. Pearl, Causes and Explanations: A Structural-Model Approach. Part I: Causes, UAI '01: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence, pp.194-202, 2001.
DOI : 10.1093/bjps/axi147

. Heh-tyan, Efficient automatic diagnosis of digital circuits, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, pp.464-467, 1990.
DOI : 10.1109/ICCAD.1990.129954

C. Hitchcock, The Intransitivity of Causation Revealed in Equations and Graphs, The Journal of Philosophy, vol.98, issue.6, pp.273-299, 2001.
DOI : 10.2307/2678432

. Hu, Fault Localization with Non-parametric Program Behavior Model, 2008 The Eighth International Conference on Quality Software, 2008.
DOI : 10.1109/QSIC.2008.44

URL : http://www.cs.hku.hk/research/techreps/document/TR-2008-08.pdf

D. Hume, An Enquiry Concerning Human Understanding . Dover philosophical classics, 2004.
DOI : 10.1093/oseo/instance.00046350

URL : http://www.indiana.edu/%7Esocrates/papers/CIBSS-Nous.pdf

S. Jalbert, N. Jalbert, and K. Sen, A trace simplification technique for effective debugging of concurrent programs, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.57-66, 2010.
DOI : 10.1145/1882291.1882302

S. Jiang, L. Jiang, and Z. Su, Context-aware statistical debugging, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.184-193, 2007.
DOI : 10.1145/1321631.1321660

. Jobstmann, Finding and fixing faults, Journal of Computer and System Sciences, vol.78, issue.2, pp.441-460, 2012.
DOI : 10.1016/j.jcss.2011.05.005

URL : https://doi.org/10.1016/j.jcss.2011.05.005

H. Jones, J. A. Harrold, and M. J. , Empirical evaluation of the tarantula automatic fault-localization technique, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.273-282, 2005.
DOI : 10.1145/1101908.1101949

. Jones, Visualization of test information to assist fault localization, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.467-477, 2002.
DOI : 10.1145/581396.581397

M. Jose and R. Majumdar, Cause clue clauses: Error localization using maximum satisfiability, 1011.

. Kayser, . Nouioua, D. Kayser, and F. Nouioua, ABOUT NORMS AND CAUSES, International Journal on Artificial Intelligence Tools, vol.49, issue.01n02, pp.7-23, 2005.
DOI : 10.1207/s15516709cog0602_1

URL : https://hal.archives-ouvertes.fr/hal-00085144

. Kuntz, Computer Safety, Reliability, and Security, 30th International Conference ,SAFECOMP 2011 Proceedings , chapter From Probabilistic Counterexamples via Causality to Fault Trees, pp.71-84, 2011.

. Laprie, Definition and analysis of hardware-and software-fault-tolerant architectures, Computer, issue.7, pp.2339-51, 1990.

D. Lewis, Causation as Influence, The Journal of Philosophy, vol.97, issue.4, pp.182-197, 2000.
DOI : 10.2307/2678389

C. Liao, Y. Liao, and D. Cohen, A specificational approach to high level program monitoring and measuring, IEEE Transactions on Software Engineering, vol.18, issue.11, pp.969-978, 1992.
DOI : 10.1109/32.177366

. Liblit, Scalable statistical bug isolation, SIGPLAN Not, issue.6, pp.4015-4041, 2005.
DOI : 10.1145/1065010.1065014

. Liu, Statistical debugging: A hypothesis testing-based approach, IEEE Trans. Software Eng, issue.10, pp.32831-848, 2006.

W. Lyle, J. R. Lyle, and M. Weiser, Automatic Program Bug Location by Program Slicing, 2 nd International Conference on Computers and Applications, pp.877-882, 1987.

P. Menzies, Counterfactual theories of cau- sation, 2014.

. Misherghi, . Su, G. Misherghi, Z. Su, M. Odersky et al., HDD, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.142-151, 2004.
DOI : 10.1145/1134285.1134307

H. Pan and E. H. Spafford, Heuristics for automatic localization of software faults, Pan and Spafford, 1992.

. Pons, Iterative hybrid causal model based diagnosis: Application to automotive embedded functions, Engineering Applications of Artificial Intelligence, vol.37, pp.319-335, 2015.
DOI : 10.1016/j.engappai.2014.09.016

. Poole, Theorist: A Logical Reasoning System for Defaults and Diagnosis, The Knowledge Frontier, pp.331-352, 1987.
DOI : 10.1007/978-1-4612-4792-0_13

D. Powell, Failure mode assumptions and assumption coverage, Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on, pp.386-395, 1992.
DOI : 10.1007/978-3-642-79789-7_8

. Ramadge, P. Wonham-]-ramadge, and W. Wonham, Supervisory control of a class of discrete event processes, SIAM J. Control and Optimization, vol.25, issue.1, 1987.

. Ramadge, P. Wonham-]-ramadge, and W. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

S. P. Reiss, Fault localization with nearest neighbor queries, ASE, pp.30-39, 2003.

. Sagdeo, PRECIS: Inferring invariants using program path guided clustering, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.532-535, 2011.
DOI : 10.1109/ASE.2011.6100117

S. Steinder, A survey of fault localization techniques in computer networks, Topics in System Administration, pp.165-194, 2004.
DOI : 10.1016/j.scico.2004.01.010

. Wang, Automated Technology for Verification and Analysis, 4th International Symposium Proceedings , chapter Whodunit? Causal Analysis for Counterexamples, pp.82-95, 2006.
DOI : 10.1007/b102065

. Wang, A Hybrid Approach to Causality Analysis, RV 2015 -6th International Conference on Runtime Verification, 2015.
DOI : 10.1145/587051.587053

URL : https://hal.archives-ouvertes.fr/hal-01211607

M. Weiser, Program Slicing, Proceedings of the 5th International Conference on Software Engineering, ICSE '81, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

M. Weiser, Programmers use slices when debugging, Communications of the ACM, vol.25, issue.7, pp.446-452, 1982.
DOI : 10.1145/358557.358577

. Wong, A Crosstab-based Statistical Method for Effective Fault Localization, 2008 International Conference on Software Testing, Verification, and Validation, pp.42-51, 2008.
DOI : 10.1109/ICST.2008.65

W. E. Wong and Y. Qi, An Execution Slice and Inter-Block Data Dependency-Based Approach for Fault Localization, 11th Asia-Pacific Software Engineering Conference, pp.366-373, 2004.
DOI : 10.1109/APSEC.2004.26

J. Woodward and C. Hitchcock, Explanatory Generalizations, Part I: A Counterfactual Account, Nous, vol.51, issue.2, pp.1-24, 2003.
DOI : 10.1023/A:1005242000548

A. Zeller, Isolating cause-effect chains from computer programs, Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT '02/FSE-10, pp.1-10, 2002.
DOI : 10.1145/605466.605468

H. Zeller, A. Zeller, and R. Hildebrandt, Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, issue.2, pp.183-200, 2002.
DOI : 10.1109/32.988498

. Zhang, Experimental evaluation of using dynamic slices for fault location, Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging , AADEBUG'05, pp.33-42, 2005.
DOI : 10.1145/1085130.1085135

. Zhang, Towards locating execution omission errors, ACM SIGPLAN Notices, vol.42, issue.6, pp.415-424, 2007.
DOI : 10.1145/1273442.1250782

. Zhang, Is non-parametric hypothesis testing model robust for statistical fault localization? Information & Software Technology, pp.511573-1585, 2009.
DOI : 10.1016/j.infsof.2009.06.013

. Zhang, Fault localization through evaluation sequences, Computer Software and Applications, pp.174-187, 2010.
DOI : 10.1016/j.jss.2009.09.041

URL : http://www.cs.hku.hk/research/techreps/document/TR-2009-20.pdf