Title: Test Pattern Generation using Boolean Proof Engines