Enhancing Exploratory Testing with Rule-Based Verifications

While exploratory testing is an effective method of relying on a human tester's ingenuity, knowledge, and skills in order to find bugs, it's impractical to use repeatedly (i.e. regression testing) for testing software systems. In order to address this issue, the ASE lab has been working on enhancing exploratory testing with rule-based verifications. LEET records exploratory test sessions conducted by human testers, then uses automated rules to expand the state space of an application that is explored during testing in order to increase test coverage.