Enhancing Exploratory Testing with Rule-Based Verification | AMiner