Faezeh Khorram

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.