Hellmann, Theodore D.2015-08-132015-08-132010http://hdl.handle.net/1880/50923Enhancing Exploratory Testing with Rule-Based VerificationThesis10.11575/PRISM/31431