Etiket: static testing techniques in software testing