Gerson Sunyé

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
• Challenges & opportunities in low-code testing