Αποστολή με SMS: Test Pattern Generation using Boolean Proof Engines