Testing from Diff Machine