E. M. Clarke, O. Grumberg, and D. A. , Peled, Model checking, 2001.

, CLEAR Debugging Tool, 2019.

G. Barbon, V. Leroy, and G. Salaün, Debugging of Concurrent Systems Using Counterexample Analysis, Proc. of FSEN'17, ser, vol.10522, pp.20-34, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01533401

D. Champelovier, X. Clerc, H. Garavel, Y. Guerte, F. Lang et al., , 2018.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes, STTT, vol.15, issue.2, pp.89-107, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00715056

C. Baier and J. Katoen, Principles of Model Checking, 2008.

R. Mateescu and D. Thivolle, A Model Checking Language for Concurrent Value-Passing Systems, Proc. of FM'08, ser, vol.5014, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00315312

D. M. Park, Concurrency and Automata on Infinite Sequences, Proc. of TCS'81, ser, vol.104, pp.167-183, 1981.

F. Lang and R. Mateescu, Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems, Logical Methods in Computer Science, vol.9, issue.4, 2013.

A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools, 1986.

R. Milner, Communication and Concurrency, 1989.

R. Mateescu, P. Poizat, and G. Salaün, Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques, IEEE TSE, vol.38, issue.4, pp.755-777, 2012.
URL : https://hal.archives-ouvertes.fr/inria-00341598

H. Garavel and F. Lang, SVL: A Scripting Language for Compositional Verification, Proc. of FORTE'01, ser. IFIP Conference Proceedings, vol.197, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00072396

, Neo4j Graph Database, 2019.

G. Salaün, L. Bordeaux, and M. Schaerf, Describing and Reasoning on Web Services using Process Algebra, Proc. of ICWS'04, pp.43-50, 2004.

H. Evrard and F. Lang, Automatic Distributed Code Generation from Formal Models of Asynchronous Processes Interacting by Multiway Rendezvous, JLAMP, vol.88, p.33, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01412911

M. Hutchins, H. Foster, T. Goradia, and T. J. Ostrand, Experiments of the Effectiveness of Dataflow-and Controlflow-Based Test Adequacy Criteria, Proc. of ICSE'94, pp.191-200, 1994.

A. Groce, S. Chaki, D. Kroening, and O. Strichman, Error Explanation with Distance Metrics, STTT, vol.8, issue.3, pp.229-247, 2006.

G. Gößler, D. L. Métayer, and J. Raclet, Causality Analysis in Contract Violation, Proc. of RV'10, ser, vol.6418, pp.270-284, 2010.

G. Gößler and D. L. Métayer, A General Trace-Based Framework of Logical Causality, Proc. of FACS'13, ser, vol.8348, pp.157-173, 2013.

A. Beer, S. Heidinger, U. Kühne, F. Leitner-fischer, and S. Leue, Symbolic Causality Checking Using Bounded Model Checking, Proc. of SPIN'15, ser, vol.9232, pp.203-221, 2015.

H. Jin, K. Ravi, and F. Somenzi, Fate and Free Will in Error Traces, Proc. of TACAS'02, ser, vol.2280, pp.445-459, 2002.

T. Ball, M. Naik, and S. K. Rajamani, From Symptom to Cause: Localizing Errors in Counterexample Traces, Proc. of POPL'03, pp.97-105, 2003.

A. Groce and W. Visser, What Went Wrong: Explaining Counterexamples, Proc. of SPIN'03, ser, vol.2648, pp.121-135, 2003.

K. Ravi and F. Somenzi, Minimal Assignments for Bounded Model Checking, Proc. of TACAS'04, ser, vol.2988, pp.31-45, 2004.

S. Leue and M. T. Befrouei, Mining Sequential Patterns to Explain Concurrent Counterexamples, Proc. of SPIN'13, ser, vol.7976, pp.264-281, 2013.

M. T. Befrouei, C. Wang, and G. Weissenbacher, Abstraction and Mining of Traces to Explain Concurrency Bugs, Proc. of RV'14, ser, vol.8734, pp.162-177, 2014.

X. Yan, J. Han, and R. Afshar, CloSpan: Mining Closed Sequential Patterns in Large Databases, Proc. of SDM'03. SIAM, pp.166-177, 2003.

W. E. Wong, R. Gao, Y. Li, R. Abreu, and F. Wotawa, A Survey on Software Fault Localization, IEEE TSE, vol.42, issue.8, pp.707-740, 2016.

D. Beyer, A. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, Generating Tests from Counterexamples, Proc. of ICSE'04, pp.326-335, 2004.

B. Baudry, F. Fleurey, and Y. L. Traon, Improving Test Suites for Efficient Fault Localization, Proc. of ICSE'06, pp.82-91, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00542783

M. Papadakis and Y. L. Traon, Effective Fault Localization via Mutation Analysis: A Selective Mutation Approach, Proc. of SAC'14, pp.1293-1300, 2014.