A method, computer program product, and system are provided for reducing errors in software code. For example, an embodiment of the method includes defining a range of values for one or more inputs to the software code and evaluating non-conditional and conditional statements in the software code with one or more values from the range of values until a program misbehavior occurs or substantially all statements in the software code have been evaluated. When evaluating the conditional statements, true and false conditions of the statement can be explored using the range of values. For instance, a sub-set of the range of values can be used to evaluate the conditional statement as true and another sub-set of the range of values can be used to evaluate the conditional statement as false. By exploring both true and false scenarios, wide code coverage is possible.