Principles of Model Checking (Representation and Mind Series), 2008. ,
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=10.1.1.10.547
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. ,
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. ,
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
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
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=10.1.1.43.9204
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
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. ,
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=10.1.1.115.6029
IEEE standard for property specification language (psl), IEEE Std, pp.1-143, 1850. ,
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
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
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
The state explosion problem, " in Lectures on Petri Nets I: Basic Models, ser, Lecture Notes in Computer Science, W. Reisig and G ,
Mining big data, ACM SIGKDD Explorations Newsletter, vol.14, issue.2, pp.1-5, 2013. ,
DOI : 10.1145/2481244.2481246
Patterns in property specifications for finite-state verification, Proceedings of the 21st International Conference on Software Engineering, ser. ICSE '99, pp.411-420, 1999. ,
PROPEL, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.11-21, 2002. ,
DOI : 10.1145/581339.581345
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
Design Patterns: Elements of Reusable Object-oriented Software, 1995. ,
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
Model-driven development of complex software: A research roadmap, " in Future of Software Engineering 2007, ser. FOSE '07, pp.37-54, 2007. ,
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. ,
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
DOI : 10.1109/32.588521
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
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
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
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=10.1.1.165.9397
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=10.1.1.20.5472
A Foundation for Model-Driven Architectures, 2002. ,
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
An overview of ontoclean, " in Handbook on Ontologies, ser. International Handbooks on Information Systems, pp.201-220, 2009. ,
Distributed development of a logic- based controlled medical terminology, 1997. ,
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. ,
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
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
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006. ,
DOI : 10.1147/sj.453.0621
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD, Génie logiciel, vol.109, 2014. ,
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
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=10.1.1.26.6026
Rewriting-Based Techniques for Runtime Verification, Automated Software Engineering, vol.32, issue.3, pp.151-197, 2005. ,
DOI : 10.1007/s10515-005-6205-y
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
Bounded Model Checking, Advances in Computers, vol.58, pp.117-148, 2003. ,
DOI : 10.1016/S0065-2458(03)58003-2
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
Generating tracesets for model-based testing, 18th IEEE International Symposium on Software Reliability, pp.5-9, 2007. ,
Counterexample-guided abstraction refinement, Computer Aided Verification ,
DOI : 10.1007/10722167_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.407
Coca, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.504-513, 1999. ,
DOI : 10.1145/302405.302682
Locating causes of program failures, 27th International Conference on Software Engineering, ICSE 2005, pp.15-21, 2005. ,
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
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
Debugging concurrent programs, ACM Computing Surveys, vol.21, issue.4, pp.593-622, 1989. ,
DOI : 10.1145/76894.76897
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
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
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. ,
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
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
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
Inconsistency robustness in logic programs, CoRR, 2014. ,
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. ,