Automatic test amplification for executable models

Publication
In ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2022), Montreal