C. Baier and J. Katoen, Principles of Model Checking (Representation and Mind Series), 2008.

A. Groce and W. Visser, What Went Wrong: Explaining Counterexamples, Proceedings of the 10th International Conference on Model Checking Software, ser. SPIN'03, pp.121-136, 2003.
DOI : 10.1007/3-540-44829-2_8

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

T. Ball, M. Naik, and S. K. Rajamani, From symptom to cause: Localizing errors in counterexample traces, Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '03, pp.97-105, 2003.

N. Sharygina and D. Peled, A combined testing and verification approach for software reliability Formal Methods for Increasing Software Productivity, ser. Lecture Notes in Computer Science, pp.611-628, 2001.

H. Jin, K. Ravi, and F. Somenzi, Fate and free will in error traces, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, ser. TACAS '02, pp.445-459, 2002.
DOI : 10.1007/s10009-004-0146-9

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973

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

C. Colby and P. Lee, Trace-based program analysis, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.195-207, 1996.
DOI : 10.1145/237721.237776

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

A. Groce and R. Joshi, Exploiting traces in static program analysis: better model checking through $${{\tt printf}}$$ s, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.131-144, 2008.
DOI : 10.1007/s10009-007-0058-6

M. Martin, B. Livshits, and M. S. Lam, Finding application errors and security flaws using pql: A program query language, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, ser. OOPSLA '05, pp.365-383, 2005.

S. F. Goldsmith, R. O. Callahan, and A. Aiken, Relational queries over program traces, Proceedings of the 20th Annual ACM SIGPLAN Conference on Objectoriented Programming, Systems, Languages, and Applications, ser. OOPSLA '05, pp.385-402, 2005.
DOI : 10.1145/1103845.1094841

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

I. Standards, IEEE standard for property specification language (psl), IEEE Std, pp.1-143, 1850.

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

S. Parsa, S. Naree, and N. Koopaei, Software Fault Localization via Mining Execution Graphs, Computational Science and Its Applications -ICCSA 2011, ser. Lecture Notes in Computer Science, B
DOI : 10.1007/978-3-642-21887-3_46

N. Ge, M. Pantel, and X. Crégut, Automated Failure Analysis in Model Checking Based on Data Mining, Lecture Notes in Computer Science, vol.8748, pp.13-28, 2014.
DOI : 10.1007/978-3-319-11587-0_4

A. Valmari, The state explosion problem, " in Lectures on Petri Nets I: Basic Models, ser, Lecture Notes in Computer Science, W. Reisig and G

W. Fan and A. Bifet, Mining big data, ACM SIGKDD Explorations Newsletter, vol.14, issue.2, pp.1-5, 2013.
DOI : 10.1145/2481244.2481246

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ser. ICSE '99, pp.411-420, 1999.

R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil, PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.11-21, 2002.
DOI : 10.1145/581339.581345

S. Konrad and B. Cheng, Facilitating the construction of specification pattern-based properties, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.329-338, 2005.
DOI : 10.1109/RE.2005.29

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software, 1995.

S. Konrad, B. Cheng, and L. Campbell, Object analysis patterns for embedded systems, IEEE Transactions on Software Engineering, vol.30, issue.12, pp.970-992, 2004.
DOI : 10.1109/TSE.2004.102

R. France and B. Rumpe, Model-driven development of complex software: A research roadmap, " in Future of Software Engineering 2007, ser. FOSE '07, pp.37-54, 2007.

P. Cousot, R. Cousot-]-k, T. Havelund, and . Pressburger, Abstract interpretation and application to logic programs Model checking java programs using java pathfinder, The Journal of Logic Programming International Journal on Software Tools for Technology Transfer, vol.13, issue.2 4, pp.103-179, 1992.

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

W. Visser and P. Mehlitz, Model Checking Programs with Java PathFinder, Proceedings of the 12th International Conference on Model Checking Software, ser. SPIN '05, pp.27-27, 2005.
DOI : 10.1007/11537328_5

K. Havelund, Using Runtime Analysis to Guide Model Checking of Java Programs, Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pp.245-264, 2000.
DOI : 10.1007/10722468_15

S. Maoz, Model-Based Traces, Lecture Notes in Computer Science, M. Chaudron, vol.144, issue.4, pp.109-119, 2009.
DOI : 10.1016/j.entcs.2006.02.007

S. Maoz and D. Harel, On tracing reactive systems, Software & Systems Modeling, vol.147, issue.1, pp.447-468, 2011.
DOI : 10.1007/s10270-010-0151-2

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

W. Damm and D. Harel, LSCs: Breathing life into message sequence charts, Formal Methods in System Design, pp.45-80, 2001.
DOI : 10.1007/978-0-387-35562-7_23

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

S. J. Mellor, M. Balcer, and U. Executable, A Foundation for Model-Driven Architectures, 2002.

T. Mayerhofer, P. Langer, and G. Kappel, A runtime model for fUML, Proceedings of the 7th Workshop on Models@run.time, MRT '12, pp.53-58, 2012.
DOI : 10.1145/2422518.2422527

N. Guarino and C. Welty, An overview of ontoclean, " in Handbook on Ontologies, ser. International Handbooks on Information Systems, pp.201-220, 2009.

K. E. Campbell, Distributed development of a logic- based controlled medical terminology, 1997.

K. A. Spackman and G. Reynoso, Examining snomed from the perspective of formal ontological principles: Some preliminary analysis and observations, Proc of the 1st Int Workshop on Formal Biomedical Knowledge Representation, pp.72-80, 2004.

N. Jekjantuk, J. Z. Pan, and Y. Qu, Diagnosis of Software Models with Multiple Levels of Abstraction Using Ontological Metamodeling, 2011 IEEE 35th Annual Computer Software and Applications Conference, pp.239-244, 2011.
DOI : 10.1109/COMPSAC.2011.77

E. Visser, A survey of strategies in rule-based program transformation systems, Journal of Symbolic Computation, vol.40, issue.1, pp.831-873, 2005.
DOI : 10.1016/j.jsc.2004.12.011

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

F. Jouault, C. Teodorov, J. Delatour, L. L. Roux, and P. Dhaussy, Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD, Génie logiciel, vol.109, 2014.

C. Kamdem-kengne, L. C. Fopa, A. Termier, N. Ibrahim, M. Rousset et al., Efficiently rewriting large multimedia application execution traces with few event sequences, Proceedings of the 19th ACM SIGKDD international conference on Knowledge discovery and data mining, KDD '13, pp.1348-1356, 2013.
DOI : 10.1145/2487575.2488211

P. Lieverse, P. Wolf, and E. Deprettere, A trace transformation technique for communication refinement, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, ser. CODES '01, pp.134-139, 2001.
DOI : 10.1145/371636.371703

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

G. Rosu and K. Havelund, Rewriting-Based Techniques for Runtime Verification, Automated Software Engineering, vol.32, issue.3, pp.151-197, 2005.
DOI : 10.1007/s10515-005-6205-y

S. Edelkamp, V. Schuppan, D. Bosnacki, A. Wijs, A. Fehnker et al., Survey on Directed Model Checking, Model Checking and Artificial Intelligence, ser. Lecture Notes in Computer Science
DOI : 10.1007/978-3-540-74128-2_11

URL : https://hal.archives-ouvertes.fr/inria-00406552

A. Biere, A. Cimatti, E. M. Clarke, O. Strichman, and Y. Zhu, Bounded Model Checking, Advances in Computers, vol.58, pp.117-148, 2003.
DOI : 10.1016/S0065-2458(03)58003-2

P. Dhaussy, F. Boniol, J. Roger, and L. Leroux, Improving Model Checking with Context Modelling, Advances in Software Engineering, vol.6, issue.1, p.9, 2012.
DOI : 10.1016/j.ins.2006.03.008

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

B. Lindström, P. Pettersson, and J. Offutt, Generating tracesets for model-based testing, 18th IEEE International Symposium on Software Reliability, pp.5-9, 2007.

E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement, Computer Aided Verification
DOI : 10.1007/10722167_15

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

M. Ducassé, Coca, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.504-513, 1999.
DOI : 10.1145/302405.302682

H. Cleve and A. Zeller, Locating causes of program failures, 27th International Conference on Software Engineering, ICSE 2005, pp.15-21, 2005.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

K. M. Chandy and L. Lamport, Distributed snapshots: determining global states of distributed systems, ACM Transactions on Computer Systems, vol.3, issue.1, pp.63-75, 1985.
DOI : 10.1145/214451.214456

C. E. Mcdowell and D. P. Helmbold, Debugging concurrent programs, ACM Computing Surveys, vol.21, issue.4, pp.593-622, 1989.
DOI : 10.1145/76894.76897

G. Pothier, E. Tanter, and J. M. Piquer, Scalable omniscient debugging, Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.535-552, 2007.
DOI : 10.1145/1297105.1297067

URL : http://hdl.handle.net/10533/85612

G. S. Goldszmidt, S. Yemini, and S. Katz, High-level language debugging for concurrent programs, ACM Transactions on Computer Systems, vol.8, issue.4, pp.311-336, 1990.
DOI : 10.1145/128733.128737

R. Lencevicius, U. Hölzle, and A. K. Singh, Querybased debugging of object-oriented programs, Proceedings of the 12th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, ser. OOPSLA '97, pp.304-317, 1997.

J. C. De-kergommeaux, B. Stein, and P. Bernard, Paj??, an interactive visualization tool for tuning multi-threaded parallel applications, Parallel Computing, vol.26, issue.10, pp.1253-1274, 2000.
DOI : 10.1016/S0167-8191(00)00010-7

K. E. Isaacs, P. Bremer, I. Jusufi, T. Gamblin, A. Bhatele et al., Combing the Communication Hairball: Visualizing Parallel Execution Traces using Logical Time, IEEE Symposium on Information Visualization, INFOVIS '14, 2014.
DOI : 10.1109/TVCG.2014.2346456

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

C. Hewitt, Inconsistency robustness in logic programs, CoRR, 2014.

A. Hamou-lhadj and T. C. Lethbridge, A survey of trace exploration tools and techniques, Proceedings of the 2004 Conference of the Centre for Advanced Studies on Collaborative Research, ser. CASCON '04, pp.42-55, 2004.