Text this: Enhancing structural software coverage by incrementally computing branch executability.