1 paper · 1 filter
Tobias Morciniec, Andreas Podelski
During the execution of a test plan, a test manager may decide to drop a test case if its result can be inferred from already executed test cases. We show that it is possible to au…