New ideas: automated engineering of metamorphic testing environments for domain-specific languages
Pablo C. Cañizares, Pablo Gómez‐Abajo, Alberto Núñez, Esther Guerra, Juan D. Lara · 2021
Two crucial aspects for the trustworthy utilization of domain-specific languages (DSLs) are their semantic correctness, and proper testing support for their users. Testing is frequently used to verify correctness, but is often done informally -- which may yield unreliable results -- and requires substantial effort for creating suitable test cases and oracles.