Static Techniques In Software Testing