Search

Erwan Bousse

Faezeh Khorram

A Language-Parametric Test Amplification Framework for Executable Domain-Specific Languages
A language-parametric test coverage framework for executable 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.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.