Erwan Bousse

Latest

• A language-parametric test coverage framework for executable domain-specific languages
• From Coverage Computation to Fault Localization: A Generic Framework for Domain-Specific Languages
• Advanced Testing and Debugging Support for Reactive Executable DSLs
• Automatic Test Amplification for Executable Models
• Adapting TDL to Provide Testing Support for Executable DSLs