Differential testing: a new approach to change detection