The evaluation of software reliability depends on a) The definition of an adequate measure of correctness and b) A practical tool that allows such measurement. Once the proper metric has been defined it is needed to estimate whether a given software system reaches its optimum value or how far away this software is from it. Typically, the choice of a given metric is limited by the ability to optimize it: mathematical considerations traditionally curtail such choice. However, modern optimization techniques (such as Genetic Algorithms [GAs]) do not exhibit the limitations of classical methods and, therefore, do not limit such choice. In this work the authors describe GAs, the typical limitations for measurement of software reliability (MSR) and the way GAs may help to overcome them.