Improving Test Suites via Operational Abstraction. - Michael Harder; Jeff Mellen; Michael D. Ernst (ICSE, 2003)