CandiDating | Technik testovania SMT