Gerson Sunye

Latest

• 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.
• Towards Platform Specific Energy Estimation for Executable Domain-Specific Modeling Languages