Testing change propagation