2

A Language-Parametric Test Amplification Framework for Executable Domain-Specific Languages
Behavioral models are important assets that must be thoroughly verified early in the design process. This can be achieved with …