Path coverage = proportion of code paths covered