Test Amplification ; Regression Testing ; Executable Model ; Executable DSL

Automatic Test Amplification for Executable Models
Preprint Cite DOI