Automatic test amplification for executable models

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