Erwan Bousse

Latest

• Towards Model-Driven Test Case Concretization for End-to-end Combinatorial Testing
• Defining KPIs for Executable DSLs: A Manufacturing System Case Study
• A language-parametric test coverage framework for executable domain-specific languages
• On the Suitability of LSP and DAP for Domain-Specific Languages
• A generic framework for representing and analyzing model concurrency
• Protocol-Based Interactive Debugging for Domain-Specific Languages.
• From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
• Automatic Test Amplification for Executable Models
• Advanced Testing and Debugging Support for Reactive Executable DSLs
• Adapting TDL to Provide Testing Support for Executable DSLs.
• Integration and Orchestration of Analysis Tools
• Behavioral interfaces for executable DSLs
• Runtime Monitoring for Executable DSLs
• Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages
• Domain-Level Observation and Control for Compiled Executable DSLs
• Lossless compaction of model execution traces
• Model execution tracing: a systematic mapping study
• Concern-Oriented Language Development (COLD)
• Trace Comprehension Operators for Executable DSLs
• Omniscient debugging for executable DSLs
• Create and Play your Pac-Man Game with the GEMOC Studio
• Domain-Level Debugging for Compiled DSLs with the GEMOC Studio
• Report on the 1st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
• Third International Workshop on Executable Modeling (EXE 2017)
• Advanced and efficient execution trace management for executable domain-specific modeling languages
• Execution Framework of the GEMOC Studio (Tool Demo)
• On Leveraging Executable Language Engineering for Domain-Specific Transformation Languages
• A Generative Approach to Define Rich Domain-Specific Trace Metamodels
• A Solution to the TTC’15 Model Execution Case Using the GEMOC Studio
• Execution Trace Management to Support Dynamic V&V for Executable DSMLs
• Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
• Scalable Armies of Model Clones through Data Sharing
• Towards Scalable Multidimensional Execution Traces for xDSMLs
• Combining Verification and Validation techniques
• Aligning SysML with the B method to provide V&V for systems engineering
• Requirements management led by formal verification