Open 853108389 opened 2 years ago
Hi, sorry for the delay. I think you are asking for the code of model mutation part. Most of the parameters and implementation are following the tool LEMON in the paper 'Deep learning library testing via effective model generation' . And the parameters of model mutation rules are listed in Section III Part A 1) and Section IV in our paper.
What are the specific experimental parameters?