78 5.2 Execution trace metamodel generated for the Petri net xDSML. Classes in green are always generated, p.81 ,
Generic clone-based execution trace metamodel, p.101 ,
Semantic diferencing match rule for fUML using a generated multidimensional execution trace metamodel, p.109 ,
Combining Veriication and Validation techniques, PhD Students Workshop of the ECMFA, ECOOP and ECSA 2013 Doctoral Symposium. 2013 (cit. on pp. xii ,
Scalable Armies of Model Clones through Data Sharing, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.86-301, 2014. ,
DOI : 10.1007/978-3-319-11653-2_18
URL : https://hal.archives-ouvertes.fr/hal-01023681
Towards Scalable Multidimensional Execution Traces for xDSMLs Workshop on Model-Driven Engineering , Veriication, and Validation (MoDeVVa), pp.13-18, 2014. ,
Supporting Eicient and Advanced Omniscient Debugging for xDSMLs, International Conference on Software Language Engineering (SLE), pp.93-94, 2015. ,
A Generative Approach to Deine Rich Domain-Speciic Trace Metamodels, European Conference on Modeling Foundations and Applications (ECMFA, pp.45-61, 2015. ,
Aligning SysML with the B method to provide V&V for systems engineering Workshop on Model-Driven Engineering, Veriication and Validation (MoDeVVa), p.9781450318013, 2012. ,
Seeing Errors: Model Driven Simulation Trace Visualization, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.480-496 ,
DOI : 10.1007/978-3-642-33666-9_31
Debugging with dynamic slicing and backtracking, Software: Practice and Experience, vol.9, issue.6, pp.589-616, 1993. ,
DOI : 10.1002/spe.4380230603
MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems, 2011 IEEE 19th International Conference on Program Comprehension, pp.181-184, 2011. ,
DOI : 10.1109/ICPC.2011.15
The Pablo self-deining data format. Tech. rep, pp.36-38, 1992. ,
Extending DMM Behavior Speciications for Visual Execution and Debugging " . In: Software Language Engineering (SLE), pp.357-376978, 2010. ,
TARDIS: Afordable Time-Travel Debugging in Managed Runtimes, International Conference on Object Oriented Programming Systems Languages & Applications (OOSPLA). ACM ,
Deinition of an executable SPEM 2.0 " . In: Asia-Paciic Software Engineering Conference (APSEC), IEEE, pp.390-397, 2007. ,
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution, International Conference on Software Process (ICSP, pp.148-160, 2009. ,
DOI : 10.1007/11568322_5
Neo4EMF, A Scalable Persistence Layer for EMF Models, European Conference on Modeling Foundations and Applications (ECMFA, pp.230-241978, 2014. ,
DOI : 10.1007/978-3-319-09195-2_15
URL : https://hal.archives-ouvertes.fr/hal-00968516
Towards a precise deinition of the OMG/MDA framework, International Conference on Automated Software Engineering (ASE). ASE 2011. IEEE, pp.273-280, 2001. ,
Principles, Standards and Tools for Model Engineering, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pp.28-29, 2005. ,
DOI : 10.1109/ICECCS.2005.68
Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009. ,
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338
Kompren: modeling and generating model slicers, Software and Systems Modeling (SoSyM), pp.321-337, 2012. ,
DOI : 10.1007/s10270-012-0300-x
URL : https://hal.archives-ouvertes.fr/hal-00746566
Some experience with automated aids to the design of large-scale reliable software, IEEE Transactions on Software Engineering SE-1.1, 1975. ,
Software Defect Reduction Top-10 List, pp.135-137, 2001. ,
DOI : 10.1007/3-540-27662-9_26
Eicient algorithms for bidirectional debugging, Conference on Programming Language Design and Implementation (PLDI, pp.46-49, 2000. ,
On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983. ,
DOI : 10.1145/322374.322380
Model Diferences in the Eclipse Modeling Framework In: UPGRADE, The European Journal for the Informatics Professional 9, 2008. ,
MoDisco, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.173-174, 2010. ,
DOI : 10.1145/1858996.1859032
URL : https://hal.archives-ouvertes.fr/hal-00610556
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers, International Conference on Software Language Engineering (SLE). LNCS, vol.8706, issue.130, pp.102-121978, 2014. ,
DOI : 10.1007/978-3-319-11245-9_6
Practical domain-speciic debuggers using the Moldable Debugger framework In: Computer Languages, Systems & Structures 44, pp.89-113 ,
Essay on Semantics Deinition in MDE -An Instrumented Approach for Model Veriication, In: Journal of Software, vol.4, issue.9, pp.943-958, 2009. ,
Introducing Simulation and Model Animation in the MDE Topcased Toolkit, European congress on Embedded Real Time Software and Systems (ERTS), pp.36-39, 2008. ,
Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.68-71, 2014. ,
DOI : 10.1109/MC.2014.147
Reifying Concurrency for Executable Metamodeling, International Conference on Software Language Engineering (SLE). LNCS, vol.8225, issue.30, pp.365-384, 2013. ,
DOI : 10.1007/978-3-319-02654-1_20
Bridging the Chasm between Executable Metamodeling and Models of Computation, International Conference on Software Language Engineering (SLE). LNCS, vol.7745, pp.184-203 ,
DOI : 10.1007/978-3-642-36089-3_11
A Design Pattern to Build Executable DSMLs and associated V&V tools, Asia-Paciic Software Engineering Conference (APSEC), vol.34, issue.87, pp.282-287, 2012. ,
Towards Eicient and Scalabale Omniscient Debugging for Model Transformations In: Workshop on Domain- Speciic Modeling (DSM), pp.13-18, 2014. ,
Understanding Execution Traces Using Massive Sequence and Circular Bundle Views, 15th IEEE International Conference on Program Comprehension (ICPC '07), pp.49-58, 2007. ,
DOI : 10.1109/ICPC.2007.39
Towards a UML virtual machine, Proceedings of the 2008 conference of the center for advanced studies on collaborative research meeting of minds, CASCON '08, pp.29-43, 2008. ,
DOI : 10.1145/1463788.1463799
Generative Technologies for Model Animation in the TopCased Platform, European Conference on Modeling Foundations and Applications (ECMFA) ,
DOI : 10.1007/978-3-642-13595-8_9
VIATRA -visual automated transformations for formal veriication and validation of UML models, International Conference on Automated Software Engineering (ASE). IEEE, p.14, 2002. ,
Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT). LNCS, vol.200, issue.3, pp.260-283, 2009. ,
DOI : 10.1007/978-3-540-70583-3_22
Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, p.14, 2006. ,
DOI : 10.1147/sj.453.0621
TimeSquare: Treat Your Models with Logical Time, International Conference on Objects, Models, Components, Patterns (TOOLS, pp.34-41978 ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
RT-simex, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.37-40, 2010. ,
DOI : 10.1145/1882291.1882357
URL : https://hal.archives-ouvertes.fr/inria-00587151
Common Trace Format (CTF) Speciication (v1.8.2). 2013. url: http : / / git . efficios . com / ?p = ctf . git ; a = blob _ plain ; f = common trace-format-specification .md;hb=master (cit, pp.31-38 ,
Model Transformations, LNCS, vol.6, issue.4, pp.91-136978 ,
DOI : 10.1007/s10270-006-0036-6
Debugging and testing behavioral UML models, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, pp.838-839, 2007. ,
DOI : 10.1145/1297846.1297915
Trust the clones " . In: Formal Veriication of Object-Oriented Software (FoVeOOS), 2011. ,
Unifying veriication and validation techniques: relating behavior and properties through partial evidence, Future of software engineering research, issue.2, pp.93-98, 2010. ,
Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, vol.16, issue.3, 2010. ,
DOI : 10.1007/s11334-009-0108-1
URL : https://hal.archives-ouvertes.fr/inria-00527502
My hairiest bug war stories, Communications of the ACM, vol.40, issue.4, pp.30-37, 1997. ,
DOI : 10.1145/248448.248456
A review of reverse debugging " . In: SoC and Silicon Debug Conference (S4D), IEEE, pp.1-6, 2012. ,
Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML, International conference on the Uniied Modeling Language (UML). LNCS, vol.1939, pp.323-3373, 2000. ,
DOI : 10.1007/3-540-40011-7_23
Open Trace Format 2: The Next Generation of Scalable Trace Formats and Support Libraries In: 14th Int Advances in Parallel Computing, Conf. on Parallel Computing, vol.22, issue.36, pp.481-490, 2011. ,
Prescriptive semantics for big-step modeling languages, International Conference on Fundamental Approaches to Software Engineering (FASE, pp.158-172978, 2010. ,
Vision Paper: Make a Difference! (Semantically), International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.490-500 ,
DOI : 10.1007/978-3-540-88643-3_15
URL : https://hal.archives-ouvertes.fr/hal-01088049
Towards a Traceability Framework for Model Transformations in Kermeta, pp.82-96 ,
URL : https://hal.archives-ouvertes.fr/lirmm-00102855
An Eclipse Modeling Framework alternative to Meet the Models@Runtime Requirements, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.87-101978 ,
Kevoree Modeling Framework (KMF): Eicient modeling techniques for runtime use, Interdisciplinary Centre for Security, Reliability and Trust (SNT), vol.37, pp.2014-54 ,
Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07) ,
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368
An implementation of a translational semantics for an imperative language, LNCS, vol.458, pp.246-262, 1990. ,
DOI : 10.1007/BFb0039064
Execution and simulation of (proiled) UML models using pópulo, International workshop on Models in Software Engineering (MiSE). ACM, pp.75-81, 2008. ,
Design patterns: elements of reusable object-oriented software, p.65, 1994. ,
A Model-Based Approach for Reconciliation of Polychronous Execution Traces, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.259-266, 2011. ,
DOI : 10.1109/SEAA.2011.47
URL : https://hal.archives-ouvertes.fr/inria-00597981
The Scalasca performance toolset architecture, Concurrency and Computation: Practice and Experience, vol.16, issue.2-3, pp.702-719, 2010. ,
DOI : 10.1002/cpe.1556
JaRec: a portable record/replay environment for multi-threaded Java applications In: Software: Practice and Experience 34, 2004. ,
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamic, In: Modellierung. LNI. GI, vol.225, issue.87, pp.273-288, 2014. ,
An ecology-based evolutionary algorithm to evolve solutions to complex problems, Artificial Life 13, pp.171-177, 2012. ,
DOI : 10.7551/978-0-262-31050-5-ch024
Smalltalk-80: the language and its implementation, p.201113716, 1983. ,
RERAN: Timing- and touch-sensitive record and replay for Android, 2013 35th International Conference on Software Engineering (ICSE), pp.72-81 ,
DOI : 10.1109/ICSE.2013.6606553
COPYING, SHARING, AND ALIASING, Colloquium on Object Orientation in Databases and Software Engineering (COODBSE), 1994. ,
DOI : 10.1142/9789812831163_0006
Copying and Comparing: Problems and Solutions, European Conference on Object-Oriented Programming (ECOOP) ,
DOI : 10.1007/3-540-45102-1_11
UML Testing Proile (UTP), v1.2. 2013. url: http: //www.omg.org/spec, p.36 ,
On Model Subtyping, European Conference on Modeling Foundations and Applications (ECMFA, pp.400-415 ,
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399
A metamodel for the compact but lossless exchange of execution traces, Software & Systems Modeling, vol.26, issue.3, pp.77-98, 2010. ,
DOI : 10.1007/s10270-010-0180-x
Aharon Shtull-trauring, and Mark Trakhtenbrot STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on software engineering 16, pp.403-414, 1988. ,
On the development of reactive systems Logics and Models of Concurrent Systems, F13. NATO ASI, pp.477-498, 1985. ,
Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004. ,
DOI : 10.1109/MC.2004.172
A Native Versioning Concept to Support Historized Models at Runtime, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.252-268, 2014. ,
DOI : 10.1007/978-3-319-11653-2_16
URL : https://hal.archives-ouvertes.fr/hal-01097020
Back-annotation of Simulation Traces with Change-Driven Model Transformations, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.145-155, 2010. ,
DOI : 10.1109/SEFM.2010.28
Back-annotation framework for Simulation Traces of Discrete Event-based Languages. Tech. rep url: https://inf, BME, vol.34, issue.87, pp.39-50, 2010. ,
Replaying Execution Trace Models for Dynamic Modeling Languages, Periodica Polytechnica Electrical Engineering, vol.56, issue.3, pp.71-82, 2013. ,
DOI : 10.3311/PPee.7078
Transformation of UML and OCL models into ilmstrip models, International Conference on Model Transformation (ICMT, pp.170-185, 2014. ,
Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011. ,
DOI : 10.1145/1985793.1985858
Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11 ,
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091
Mashup of metalanguages and its implementation in the Kermeta language workbench, Software and Systems Modeling (SoSyM) 14, pp.905-920, 2015. ,
Ingénierie Dirigée par les Modèles : des concepts à la pratique. Références sciences. Ellipses, p.9782729871963, 2012. ,
Loosely coupled traceability for ATL, ECMDA Traceability Workshop, vol.91, pp.29-37, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00448118
Transforming models with ATL Workshop on Model Transformations in Practice (MTiP), LNCS, vol.3844, issue.15, pp.128-138, 2006. ,
On the Use of Graph Transformation in the Formal Speciication of Model Interpreters, In: Journal of Universal Computer Science, vol.911, pp.1296-1321, 2003. ,
Worst Practices for Domain-Speciic Modeling, IEEE Software, vol.264, issue.76, p.77, 2009. ,
A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.1-6, 2011. ,
DOI : 10.1145/2095050.2095057
URL : https://hal.archives-ouvertes.fr/hal-00631306
Model Transformation as an Optimization Problem, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.159-173, 2008. ,
DOI : 10.1007/978-3-540-87875-9_12
A UML Simulator Based on a Generic Model Execution Engine In: Workshop on Multi-Paradigm Modeling (MPM), LNCS, vol.4364, pp.324-326, 2006. ,
Diferent Models for Model Matching: An analysis of approaches to support model diferencing, Workshop on Comparison and Versioning of Software Models (CVSM, 2009. ,
Flexible debugging of behavior models, 2012 IEEE International Conference on Industrial Technology, pp.331-336, 2012. ,
DOI : 10.1109/ICIT.2012.6209959
Semantic Model Diferencing Utilizing Behavioral Semantics Speciications, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.116-132, 2014. ,
Executing and debugging UML models, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1095-1102, 2013. ,
DOI : 10.1145/2480362.2480569
URL : https://hal.archives-ouvertes.fr/hal-01088175
Translational Semantics, Synthese 48, pp.121-133, 1981. ,
A brief account of runtime veriication The Journal of Logic and Algebraic Programming 78, pp.293-303, 2009. ,
Debugging backwards in time, pp.46-47, 2003. ,
Cloning in ownership, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '11, pp.63-65, 2011. ,
DOI : 10.1145/2048147.2048175
Sheep Cloning with Ownership Types, International Workshop on Foundations of Object-Oriented Languages (FOOL). 2012 (cit, p.18 ,
Using prototypical objects to implement shared behavior in objectoriented systems, International Conference on Object Oriented Programming Systems Languages & Applications (OOSPLA). ACM, pp.214-223, 1986. ,
Practical Object-Oriented Back-in-Time Debugging, European Conference on Object-Oriented Programming, pp.592-615, 2008. ,
DOI : 10.1007/978-3-540-70592-5_25
DSMDif: a diferentiation tool for domain-speciic models, European Journal of Information Systems, vol.164, pp.349-361, 2007. ,
Declaratively Deining Domain-Speciic Language Debuggers, International Conference on Generative Programming and Component Engineering, pp.127-1362047885, 2012. ,
Model-Based Traces, Workshop on Models@runtime (MRT) ,
DOI : 10.1016/j.entcs.2006.02.007
On tracing reactive systems, Software and Systems Modeling (SoSyM), pp.447-468, 2011. ,
DOI : 10.1007/s10270-010-0151-2
ADDif: Semantic Differencing for Activity Diagrams, 8th Joint European Software Engineering Conference (ESEC) and Symposium on the Foundations of Software Engineering (FSE). ACM, pp.179-189, 2011. ,
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
xMOF: Executable DSMLs Based on fUML, International Conference on Software Language Engineering (SLE, pp.56-75, 2013. ,
DOI : 10.1007/978-3-319-02654-1_4
When and how to develop domain-speciic languages, In: ACM Computing Surveys, vol.374, pp.316-344, 2005. ,
ProMoBox: A Framework for Generating Domain-Specific Property Languages, International Conference on Software Language Engineering (SLE). LNCS. Springer, vol.8706, issue.35, pp.1-20, 2014. ,
DOI : 10.1007/978-3-319-11245-9_1
Explicit Modeling of a Parallel DEVS Experimentation Environment, Symposium on Theory of Modeling and Simulation -DEVS (TM- S/DEVS). Society for Computer Simulation International, pp.860-867, 2015. ,
Communication and Concurrency, p.131149849, 1989. ,
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry, European conference on Model Driven Architecture ? Foundations and Applications, pp.432-443, 2008. ,
DOI : 10.1007/978-3-540-69100-6_31
Meta Object Facility (MOF) Core Speciication, p.31 ,
Object Constraint Language (OCL) Version 2.4. 2014. url: http://www.omg.org/spec ,
Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.1. 2013. url: http://www.omg.org/spec, pp.94-96 ,
Uniied Modeling Language (UML) Version 2.5. 2015. url: http://www.omg.org/spec, p.94 ,
Trace Management and Analysis for Embedded Systems, 2013 IEEE 7th International Symposium on Embedded Multicore Socs ,
DOI : 10.1109/MCSoC.2013.28
URL : https://hal.archives-ouvertes.fr/hal-01065877
Stalking the elusive computer bug, IEEE Annals of the History of Computing, vol.20, issue.4, 1998. ,
DOI : 10.1109/85.728224
Expositor: Scriptable time-travel debugging with irst-class traces, International Conference on Software Engineering (ICSE). IEEE, pp.352-361, 2013. ,
A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19, 1981. ,
Back to the Future: Omniscient Debugging, IEEE Software, vol.26, issue.6, pp.46-49, 2009. ,
DOI : 10.1109/MS.2009.169
András Ökrös, and Dániel Varró Live Model Transformations Driven by Incremental Pattern Matching, International Conference on Model Transformation (ICMT). LNCS, vol.5063, pp.107-121, 2008. ,
Design-time simulation of domainspeciic models by incremental pattern matching, Symposium on Visual Languages and Human-Centric Computing, pp.219-222, 2008. ,
A theory of diagnosis from irst principles, In: Artiicial Intelligence, vol.32187, pp.57-95, 1987. ,
Diagnosing Multiple Faults in SSM/PMAD, Proceedings of the 25th Intersociety Energy Conversion Engineering Conference, pp.284-290, 1987. ,
DOI : 10.1109/IECEC.1990.716896
The architecture of a UML virtual machine, International Conference on Object Oriented Programming Systems Languages and Applications (OOSPLA). ACM, pp.327-341, 2001. ,
A domain speciic transformation language " . In: Workshop an Models and Evolution (ME), 2011. ,
TinyLTS: Efficient network-wide Logging and Tracing System for TinyOS, 2011 Proceedings IEEE INFOCOM, 2011. ,
DOI : 10.1109/INFCOM.2011.5935011
MDE-Based Approach for Generalizing Design Space Exploration, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.46-60, 2010. ,
DOI : 10.1007/978-3-642-16145-2_4
Guest Editor's Introduction: Model-Driven Engineering, 2006. ,
High-performance timing simulation of embedded software, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.290-295, 2008. ,
DOI : 10.1145/1391469.1391543
Paje trace ile format, version 1.2 ,
Speciication of graph translators with triple graph grammars In: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), LNCS, vol.903, issue.15, pp.151-163, 1994. ,
Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, p.14, 2003. ,
DOI : 10.1109/MS.2003.1231150
The Tau Parallel Performance System, International Journal of High Performance Computing Applications, vol.202, pp.287-311, 2006. ,
The architecture of virtual machines, 2005. ,
Towards a model execution framework for Eclipse, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, BM-MDA '09, 2009. ,
DOI : 10.1145/1555852.1555856
EMF: Eclipse Modeling Framework, pp.321331885-58, 2008. ,
Debugging functional programs, International Joint Conference on Artiicial Intelligence (IJCAI), pp.1074-1079, 1999. ,
A modular timed graph transformation language for simulation-based design, Software & Systems Modeling, vol.13, issue.3, pp.387-414, 2013. ,
DOI : 10.1007/s10270-011-0205-0
T-Core: a framework for custom-built model transformation engines, Software & Systems Modeling, vol.68, issue.3, pp.1215-1243, 2013. ,
DOI : 10.1007/s10270-013-0370-4
Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
DOI : 10.1137/0201010
Formalizing Execution Semantics of UML Proiles with fUML Models, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.133-148, 2014. ,
CreateSpace Independent Publishing Platform , 2013. isbn: 978-1481218580. url: http://dslbook ,
The State of Practice in Model-Driven Engineering, IEEE Software, vol.31, issue.3, pp.79-85, 2014. ,
DOI : 10.1109/MS.2013.65
On the relationship between model-based debugging and program slicing, Artificial Intelligence, vol.135, issue.1-2, pp.125-143, 2002. ,
DOI : 10.1016/S0004-3702(01)00161-8
Grammar-driven generation of domainspeciic language debuggers In: Software: Practice and Experience 38, 2008. ,
SherLog: error diagnosis by connecting clues from run-time logs, International Conference on Architectural Support for Programming Languages and Operating Systems, pp.143-154, 2010. ,
Why Program Fail ? 1st Edition, 2004. ,