17. The method of claim 15 wherein the increasing the lower bound comprises refining Boolean abstraction for the computer program.
15. The method of claim 13 further comprising: increasing the lower bound; and using the increased lower bound in the test generation.