Test Pattern Generation using Boolean Proof Engines