Merkliste 
 1 Ergebnisse 
 
1

MUPPAAL: Reducing and Removing Equivalent and Duplicate Mut..:

, In: 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
Cuartas, Jaime ; Aranda, Jesus ; Cordy, Maxime... - p. 52-61 , 2023