A framework of greedy methods for constructing interaction test suites