I wonder if (1) any one has done any study on the strength of type declarations on a program (or strength of types in general) and (2) if there are other metrics one could use for evaluating the strength of types.
#softwaretesting #mutationanalysis #mutationtesting #typesystems #strongtypes
0
0
1
0