A microcontroller may include a processor and at least one memory device storing (a) program code of a program defining a plurality of dominator arcs based on logical relationships among basic blocks (instructions) in the program code; and (b) a set of instrumentation points consisting of a subset of the program code basic blocks that correspond with the plurality of dominator arcs, each instrumentation point being located in a respective dominator arc. A code coverage implementation program (e.g., IDE or compiler) may be configured to instrument each instrumentation point in the program code with execution tracking instruction(s) to store or generate execution recording information. A testing tool may be used to execute the program on the microcontroller, wherein execution of each respective instrumentation point in the program code causes the respective execution tracking instruction to store or generate execution recording information indicating that the dominator arc corresponding with that instrumentation point has been executed by the testing tool.