The test effectiveness of PUTs highly depends on the way
that they are written by developers. For example, if stronger
assumptions are specified, only a smaller scope of test inputs
than intended are generated by tools, leading to false
negatives in terms of fault detection.