Add strategies for code instrumentation
E.g. coarse-grain - testing only input/output of loops/functions; fine-grain - testing how variable changes in each loop iteration.
This requires the automatic code instrumentation
E.g. coarse-grain - testing only input/output of loops/functions; fine-grain - testing how variable changes in each loop iteration.
This requires the automatic code instrumentation