Automatic Test Amplification for Executable Models

Publication
ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS ‘22)