Etiket: static testing techniques examples