Applying Aggressive Propagation-Based Strategies for Testing Changes
Test-suite augmentation for evolving software - the process of augmenting a test suite to adequately test software changes - is necessary for any program that undergoes modifications as part of its development and maintenance cycles. Recently, the authors presented a new technique for test-suite augmentation based on leveraging the propagation conditions for the effects of changes. Although empirical studies show that this technique can be quite effective for testing changes, the experiments have been limited because of the complexity of the implementation. In this paper, they present a new and more efficient approach for propagation-based testing of changes that can reach much longer propagation-distances and can focus the testing more precisely on those behaviors of changes that can actually affect the output.