Automated support for diagnosis and repair, Communications of the ACM, vol.58, issue.2, pp.65-72, 2015. ,
DOI : 10.1109/32.879820
Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004. ,
Principles of model checking, 2008. ,
From symptom to cause: localizing errors in counterexample traces, In: ACM SIGPLAN. vol, vol.38, 2003. ,
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
Model-Based Diagnostic Using Model Checking, 2009 Fourth International Conference on Dependability of Computer Systems, 2009. ,
DOI : 10.1109/DepCoS-RELCOMEX.2009.33
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
Locating causes of program failures, p.342, 2005. ,
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
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 survey of trace exploration tools and techniques, pp.42-55, 2004. ,
The Theory and Practice of A Formal Method: NewCoRe, In: IFIP Congress, issue.1, pp.35-44, 1994. ,
An Organizing System to Perform and Enable Verification and Diagnosis Activities, pp.576-587, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01472718
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
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
Scalable omniscient debugging, ACM SIGPLAN Notices, vol.42, issue.10, pp.535-552, 2007. ,
DOI : 10.1145/1297105.1297067
A theory of diagnosis from first principles, Artificial intelligence, 1987. ,
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
A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, 2003. ,
Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.203-232, 2003. ,
DOI : 10.1109/ASE.2000.873645
Abductive Reasoning in Environmental Decision Support Systems. In: AIAI workshops, Citeseer, pp.270-279, 2009. ,