Removing Redundant Statements in Amplified Test Cases

Test amplification generates new tests by modifying existing, manually written tests.<br/>Up until now, this process preserves statements that were relevant for the original test case but are no longer needed for the behavior of the new test case.<br/>These unnecessary statements impact the readability of the tests in question.<br/>As a part of...